Analytic tableaux for KLM preferential and cumulative logics

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

Volumn 3835 LNAI, Issue , 2005, Pages 666-681

  Giordano, Laura ^a   Gliozzi, Valentina ^b   Olivetti, Nicola ^c   Pozzato, Gian Luca ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

^c AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DECISION THEORY; DIFFERENTIATION (CALCULUS); FORMAL LOGIC;

CUMULATIVE LOGICS; DEFAULT REASONING; MODALITIES;

LOGIC PROGRAMMING;

EID: 33745477844     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11591191_46     Document Type: Conference Paper

References (13)

1. A. Artosi, G. Governatori, and A. Rotolo. Labelled tableaux for non-monotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation, 12(6):1027-1060, 2002.
2. C. Boutilier. Conditional logics of normality: a modal approach. Artificial Intelligence, 68(1), pages 87-154, 1994.
3. G. Crocco and P. Lamarre. On the connection between non-monotonic inference systems and conditional logics. In Proc. of KR '92, pages 565-571, 1992.
4. N. Friedman and J. Y. Halpern. Plausibility measures and default reasoning. Journal of the ACM, 48(4):648-685, 2001.
5. N. Friedman, J. Y. Halpern, and D. Koller. First-order conditional logic for default reasoning revisited. ACM TOCL, ACM Press, 1(2):175-207, 2000.
6. D. Gabbay. Theoretical foundations for non-monotonic reasoning in expert systems. Logics and models of concurrent systems, Springer, pages 439-457, 1985.
7. L. Giordano, V. Gliozzi, N. Olivetti, and C. Schwind. Tableau calculi for preference-based conditional logics. In Proc. of TABLEAUX 2003, vulme 2796 of LNAI, Springer, pages 81-101, 2003.
8. R. Goré. Tableau methods for modal and temporal logics. In Handbook of Tableau Methods, Kluwer Academic Publishers, pages 297-396, 1999.
9. A. Heuerding, M. Seyfried, and H. Zimmermann. Efficient loop-check for backward proof search in some non-classical propositional logics. In Proc. of TABLEAUX 1996, volume 1071 of LNAI, Springer, pages 210-225, 1996.
10. H. Katsuno and K. Sato. A unified view of consequence relation, belief revision and conditional logic. In Proc. IJCAI'91, pages 406-412, 1991.
11. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(1-2), pages 167-207, 1990.
12. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, Elsevier Science Publishers Ltd., 55(1):1-60, 1992.
13. Y. Shoham. A semantical approach to nonmonotonic logics. In Proceedings of Logics in Computer Science, pages 275-279, 1987.