Nonmonotonic reasoning is sometimes simpler!

Journal of Logic and Computation

Volumn 6, Issue 2, 1996, Pages 295-308

  Schwarz, Grigori ^a   Truszczynski, Miroslaw ^b  

^a Stanford University   (United States)

^b UNIVERSITY OF KENTUCKY   (United States)

Author keywords

Complexity; Expansions; Nonmonotonic logics; S; S4 F

Indexed keywords

EID: 0040241316     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/6.2.295     Document Type: Article

References (27)

1. P-complete. Theoretical Computer Science, 114, 231-245, 1993.
2. T. Eiter and G. Gottlob. Complexity of reasoning with parsimonious and moderately grounded expansions. Fundamenta Informaticae, 17, 31-54, 1992.
3. M. R. Garey and D. S. Johnson. Computers and Intractability; a guide to the theory of NP-completeness. W.H. Freeman, 1979.
4. G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2, 397-425, 1992.
5. G. Gottlob. NP Trees and Camap's Modal Logic. IEEE Symposium on Foundations of Computer Science (FOCS), 42-51, IEEE Computer Society Press, 1993. Extended and revised version to appear in the Journal of ACM.
6. G. Gottlob. NP Trees and Camap's Modal Logic. IEEE Symposium on Foundations of Computer Science (FOCS), 42-51, IEEE Computer Society Press, 1993. Extended and revised version to appear in the Journal of ACM.
7. G. E. Hughes and M. J. Cresswell. A Companion to Modal Logic. Methuen and Co. Ltd., London, 1984.
8. J. Y. Halpern and Y. Moses. A guide to modal logics of knowledge and belief. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pp. 480-490. Morgan Kaufmann, 1985.
9. R. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM Journal of Computing, 6, 467-480, 1977.
10. W. Lenzen. Recent Work in Epistemic Logic, volume 30 of Acta Philosophica Fennica. North-Holland, Amsterdam, 1978.
11. W. Lenzen. Epistemologische Betrachtungen zu [S4, S5]. Erkenntnis, 14, 33-56, 1979.
12. J. McCarthy. Circumscription - a form of non-monotonic reasoning. Artificial Intelligence, 13, 27-39, 1980.
13. D. McDermott. Nonmonotonic logic II: Nonmonotonic modal theories. Journal of the ACM, 29, 33-57, 1982.
14. D. McDermott and J. Doyle. Nonmonotonic logic I. Artificial Intelligence, 13, 41-72, 1980.
15. R. C. Moore. A formal theory of knowledge and action. In Formal Theories of Commonsense World, J. Hobbs and R. C. Moore, eds, pp. 319-358. Ablex Publishing, 1985.
16. R. C. Moore. Semantical considerations on non-monotonic logic. Artificial Intelligence, 25, 75-94, 1985.
17. W. Marek, G. F. Schvarz, and M. Truszczyński. Modal nonmonotonic logics: ranges, characterization, computation. In Journal of the ACM, 40, 963-990, 1993.
18. W. Marek and M. Truszczyński. Nonmonotonic Logics; Context-Dependent Reasoning. Springer-Verlag, 1993.
19. I. Niemelä. On the decidability and complexity of autoepistemic reasoning. Fundamenta Informaticae, 17, 117-156, 1992.
20. H. Ono and A. Nakamura. On the size of refutation Kripke models for some linear modal and tense logics. Studia Logica, 39, 325-333, 1980.
21. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 81-132, 1980.
22. K. Segerberg. An Essay in Classical Modal Logic. Uppsaala University, Filosofiska Studier, 13, 1971.
23. G. F. Shvarts. Autoepistemic modal logics. In Proceedings of TARK 1990, R. Parikh, ed., pp. 97-109. Morgan Kaufmann, 1990.
24. G. F. Schwarz and M. Truszczyński. Modal logic S4F and the minimal knowledge paradigm. In Proceedings of TARK 1992, Y. Moses, ed., pp. 184-198. Morgan Kaufmann, 1992.
25. M. Tiomkin and M. Kaminski. Nonmonotonic default modal logics. Journal of the ACM, 38, 963-984, 1991.
26. M. Truszczyński. Modal interpretations of default logic. In Proceedings of IJCAI-91, pp. 393-398.
27. M. Truszczyński. Embedding default logic into modal nonmonotonic logics. In Proceedings of LPNMR-91, A. Nerode, W. Marek and V. S. Subrahmanian, eds, pp. 151-165. MIT Press, 1991.