First-order non-monotonic modal logics

Fundamenta Informaticae

Volumn 42, Issue 3, 2000, Pages 303-333

  Kaminski, Michael ^a   Guy, Rey ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b 330 Fell Street   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MODAL ANALYSIS;

FIRST ORDER DEFAULT LOGIC; NON MONOTONIC MODAL LOGIC;

FORMAL LOGIC;

EID: 0342906623     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-2000-423405     Document Type: Article

References (38)

1. C.C. Chang and H.J. Keisler, Model theory, North Holland Publishing Co., Amsterdam, 1990.
2. M.C. Fitting, W. Marek, and M. Truszczyński, The pure logic of necessitation, Journal of Logic and Computation 2 (1992), pp.349-373.
3. G. Gottlob, Translating default logic into standard autoepistemic logic, Journal of the ACM 42 (1995), pp.711-740.
4. R. Guerreiro and M. Casanova, An alternative semantics for default logic, preprint, the Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe, 1990.
5. G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic, Methuen and Co., London, 1972.
6. G.E. Hughes and M.J. Cresswell, A companion to modal logic, Methuen and Co., London, 1984.
7. T. Janhunen, Representing Autoepistemic Introspection in Terms of Default Rules, in Proceedings of the 12th European Conference on Artificial Intelligence - ECAI'96 John Wiley & Sons, 1998, pp.70-74.
8. T. Janhunen, On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription, in: J. Dix, L.F. del Cerro, and U. Furbach eds., Proceedings of the 6th European Workshop on Logics in Artificial Intelligence - JELIA'98, Springer, Berlin 1998, pp.216-232. (Lecture Notes in Artificial Intelligence 1489).
9. T. Janhunen, On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription, in: J. Dix, L.F. del Cerro, and U. Furbach eds., Proceedings of the 6th European Workshop on Logics in Artificial Intelligence - JELIA'98, Springer, Berlin 1998, pp.216-232. (Lecture Notes in Artificial Intelligence 1489).
10. T. Janhunen, On the Intertranslatability of Non-monotonic Logics, Annals of Mathematics and Artificial Intelligence 27 (1999), pp.79-128.
11. M. Kaminski, Embedding a default system into non-monotonic logics, Fundamenta Informaticae XIV (1991), pp.345-353.
12. M. Kaminski, A comparative study of open default theories, Artificial Intelligence 77 (1995), pp.285-319.
13. M. Kaminski, A note on the stable model semantics for logic programs, Artificial Intelligence 97 (1997), pp.467-479.
14. M. Kaminski, J.A. Makowsky, and M. Tiomkin, Extensions for open default theories via the domain closure assumption, Journal of Logic and Computation 8 (1998), pp.169-187.
15. M. Kaminski and G. Rey, First-order autoepistemic logic, the sixth Bar-Ilan Symposium on Foundations of Artificial Intelligence, 1999, http://www.cs.biu.ac.il:/bisfai/Abstracts.html.
16. K. Konolige, On the relation between default and autoepistemic logic, Artificial Intelligence 35 (1988), pp.343-382.
17. K. Konolige, Quantification in autoepistemic logic, Fundamenta Informaticae XV (1991), pp.275-300.
18. H.J. Levesque, All I Know: A Study in Autoepistemic Logic, Artificial Intelligence 42 (1990), pp.263-309.
19. V. Lifschitz, On open defaults, in Computational Logic: Symposium Proceedings, J.W. Lloyd Ed., Springer-Verlag, Berlin, 1990, pp.80-95.
20. J.W. Lloyd, Foundations of logic programming, second extended edition, Springer-Verlag, Berlin, 1993.
21. W. Marek and M. Truszczyński, Relating autoepistemic and default logics, in: R.J. Brachman et al. eds., Proceedings of First International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, California, 1989, pp.276-288.
22. W. Marek and M. Truszczyński, Modal logic for default reasoning, Annals of Mathematics and Artificial Intelligence 1 (1990), pp.275-302.
23. W. Marek and M. Truszczyński, Nonmonotonic Logic, Springer-Verlag, Berlin, 1993.
24. D. McDermott and J. Doyle, Non-monotonic logic I, Artificial Intelligence 13 (1980), pp.41-72.
25. D. McDermott, Non-monotonic logic II: Non-monotonic modal theories, Journal of the ACM 29 (1982), pp.33-57.
26. E. Mendelson, Introduction to mathematical logic, Wadsworth and Brooks, Monterey, California, 1987.
27. R.C. Moore, Semantical considerations on non-monotonic logics, Artificial Intelligence 25 (1985), pp.75-94.
28. R.C. Moore, Possible-world semantics for autoepistemic logic, in: M.L. Ginsberg ed., Readings in Non-monotonic Reasoning, Morgan Kaufmann, Los Altos, California, 1987, pp.137-142.
29. A.N. Prior, Modality and quantification in S5, Journal of Symbolic Logic 21 (1956), pp.60-62.
30. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980), pp.81-132.
31. G. Schwarz, Bounding introspection in non-monotonic logic, in: B. Nebel, C. Rich, and W. Swartout eds., Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, California, 1992, pp.581-590.
32. G. Schwarz, Minimal Model Semantics for Nonmonotonic Modal Logics, in: Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos, California, 1992, pp.34-43.
33. K. Segerberg, An essay in classical modal logic, Filosofska Studier 13 (1971), Uppsala University.
34. G. Shvarts, Autoepistemic modal logics, in: R. Parikh ed., Proceedings of 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, California, 1990, pp.97-110.
35. M. Tiomkin and M. Kaminski, Nonmonotonic default modal logics, Journal of the ACM 38 (1991), pp.963-984.
36. M. Truszczyński, Embedding default logic into non-monotonic logics, in: W. Marek, A. Nerode, V.S. Subrahmanian eds., Proceedings of the First International Workshop on Logic Programming and Non-monotonic Reasoning, MIT Press, Cambridge, MA, 1991, pp.151-165.
37. M. Truszczyński, New modal interpretation of default logic, in Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, August 1991, Morgan Kaufmann, San Mateo, California, pp.393-398.
38. A. Zhang and W. Marek, On the classification and existence of structures in default logic, Fundamenta Informaticae XIII (1990), pp.485-499.