A uniform tableaux method for nonmonotonic modal logics

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

Volumn 1126, Issue , 1996, Pages 87-103

  Donini, Francesco M ^a   Massacci, Fabio ^a,b   Nardi, Daniele ^a   Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CALCULATIONS; SEMANTICS;

LOWER BOUNDS; MODAL LOGIC; NONMONOTONIC; POSSIBLE WORLDS; SEMANTIC TABLEAU; TABLEAUX METHODS;

FORMAL LOGIC;

EID: 84955609009     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (32)

1. G. Amati, L. Carlucci Aiello, D. Gabbay, and F. Pirri. A proof theoretical approach to default reasoning I: Tableaux for default logic. J. of Logic and Computation, 1995.
2. F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. JAR, 14:149-180, 1995.
3. Lo Catach. TABLEAUX, a general theorem prover for modal logics. JAR, 7:489-510, 1991.
4. F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf. Adding epistemic operators to concept languages. In Proc. of KR- pages 342-353. 1992.
5. F. M. Donini, D. Nardi, and R. Rosati. Ground noumonotonic modal logics for knowledge representation. In Proc. of WOCFAI-95, pages 133-144. Angkor, 1995.
6. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, 1983.
7. R. Goré. Semi-analytic tableaux for modal logics with application to nonmonotonicity. Logique et Analyse, 133-134, 1991.
8. R. Goré. Tableaux method for modal and temporal logics. Tech. Rep. TR-ARP- 15-5, Australian National University, 1995.
9. G. Gottlob. NP trees and Carnap's modal logic. In Proc. of FOCS-93. 1993.
10. J. Y. Halpern and Y. Moses. Towards a theory.of knowledge and ignorance: Preliminary report. Technical Report CD-TR 92/34, IBM, 1985.
11. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. AIJ, 54:319-379, 1992.
12. D. S. Johnson. A catalog of complexity classes. In Handbook of Theoretical Computer Science, vol. A, chap. 2. Elsevier Science, 1990.
13. K. Konolige. On the relationship between default and autoepistemic logic. AIJ, 35:343-382, 1988.
14. W. Marek, G. F. Schwarz, and M. Truszczyński. Modal nonmonotonic logics: ranges, characterization, computation. JACM, 40(4):963-990, 1993.
15. W. Marek and M. Truszczyfiski. Nonmonotonic Logics - Context-Dependent Reasoning. Springer-Verlag, 1993.
16. F. Massacci. Strongly analytic tableaux for normal modal logics. In Proc. of CADE-9J, LNAI 814, pages 723-737. 1994.
17. D. McDermott. Non-monotonic logic II: Non-monotonic modal theories. JACM, 29:33-57, 1982.
18. D. McDermott and J. Doyle. Non-monotonic logic I. AIJ, 13:41-72, 1980.
19. R. C. Moore. Semantical considerations on nonmonotonic logic. AIJ, 25:75-94, 1985.
20. D. Nardi and R. Rosati. A preference semantics for ground nonmonotonic modal logics. In Proc. of EPIA-95, LNAI. 1995.
21. I. Niemelä. Decision procedure for autoepistemic logic. In Proc. Of CADE-88, LNCS 310, pages 675-684. 1988.
22. I. Niemels On the decidability and complexity of autoepistemic reasoning. Fundamenta Informaticae, 17(1,2):117-156, 1992.
23. I. Niemelä. A decision method for nonmonotonic reasoning based on autoepistemic reasoning. JAR, 14:3-42, 1995.
24. N. Olivetti. Tableaux and sequent calculus for minimal entailment. JAR, 9:99-139, 1992.
25. G. Schwarz. Autoepistemic modal logics. In Proceedings of the Symposium of Theoretical Aspects of Reasoning about Knowledge (TARK-90). Morgan Kaufmann, San Mateo, CA, pp. 97-109, 1990.
26. G. Schwarz. Bounding introspection in nonmonotonic logics. In Proe. of KR-92, pages 581-590. 1992.
27. G. Schwarz. Minimal model semantics for nonmonotonic modal logics. In Proe. of LICS-92. pages 34-43. 1992.
28. G. Schwarz. In search for a "true" logic of knowledge: the nonmonotonic perspective. In AIJ. 79:39-63, 1995.
29. G. Schwarz and M. Truszczyfiski. Minimal knowledge problem: a new approach. AIJ, 67:113-141, 1994.
30. C. B. Schwind. A tableaux-based theorem prover for a decidable subset of default logic. In Proc. of CADE-90, LNAI, pages 528-542. 1990.
31. Y. Shoham. Nonmonotonic logics: Meaning and utility. In Proc. of IJCAI-87, pages 388-392, 1987.
32. M. Tiomkin and M. Kaminski. Nonmonotonic default modal logics. In Proe. of TARK-90, pages 73-84, 1990.