Four-valued diagnoses for stratified knowledge-bases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1258, Issue , 1997, Pages 1-17

  Arieli, Ofer ^a   Avron, Arnon ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; RECONFIGURABLE HARDWARE;

KNOWLEDGE BASIS; MODEL BASED DIAGNOSIS;

COMPUTER CIRCUITS;

EID: 77952021373     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63172-0_29     Document Type: Conference Paper

References (16)

1. O. Arieli, A. Avron. Logical bilattices and inconsistent data. Proc. of the 9th IEEE Annual Symp. on Logic in Computer Science (LICS’94). IEEE Press, pp.468-476; 1994.
2. O. Arieli, A. Avron. A bilattice-based approach to recover consistent data from inconsistent knowledge-bases. Proc. of the 4th Bar-Ilan Symp. on Foundations of Artificial Intelligence (BISFAI’95), pp. 231-240; 1995.
3. O. Arieli, A. Avron. Reasoning with logical bilattices. Journal of Logic, Lan­guage, and Information, Vol.5, pp. 25-63; 1996
4. N.D. Belnap. A useful four-valued logic. Modern Uses of Multiple-Valued Logic (G.Epstein, J.M.Dunn - Eds.), Reidel, Dordrecht, pp. 7-37; 1977.
5. N.D. Belnap. How computer should think. Contemporary Aspects of Philosophy (G.Ryle - Ed.), Oriel Press, Stocksfield, England, pp. 30-56; 1977.
6. N.C.A. da-Costa. On the theory of inconsistent formal systems. Notre Damm Journal of Formal Logic, Vol.15, pp. 497-510; 1974.
7. M.L. Ginsberg. Multivalued logics: A uniform approach to reasoning in AI. Computer Intelligence, Vol.4, pp.256-316; 1988.
8. M. Gelfond, V. Lifschitz. The stable model semantics for logic programming. Proc. of the 5th logic programming symposium MIT Press, Cambridge, MA, pp.1070-1080; 1988.
9. S. Kraus, D. Lehmann, M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Journal of Artificial Intelligence, Vol.44, No.1-2, pp. 167-207; 1990.
10. M. Kifer, E.L. Lozinskii. A logic for reasoning with inconsistency. Journal of Automated reasoning. Vol.9, No.2, pp. 179-215; 1992.
11. D. Lehmann, M. Magidor. What does a conditional knowledge base entail?. Journal of Artificial Intelligence, Vol.55, pp. 1-60; 1992.
12. G. Priest. Minimally inconsistent LP. Studia Logica, Vol.50, pp. 321-331; 1991
13. O. Raiman. The alibi principle. Readings in Model-Based Diagnosis (W.Hamscher, L.Console, J.de-Kleer - Eds.), pp. 66-70; 1992.
14. R. Reiter. A theory of diagnosis from first principles. Journal of Artificial In­telligence, Vol.32, No.l, pp. 57-95; 1987.
15. Y. Shoham. A semantical approach to nonmonotonic logics. Readings in Non­Monotonic Reasoning (M.L.Ginsberg - ed.), Los-Altos, CA, pp.227-249; 1987
16. Y. Shoham. Reasoning about change: time and causation from the standpoint of artificial intelligence. MIT Press; 1988.