Revisiting Quantification in Autoepistemic Logic

ACM Transactions on Computational Logic

Volumn 3, Issue 4, 2002, Pages 542-561

  Kaminski, Michael ^a   Rey, Guy ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b PhoneDo Networks   (Israel)

Author keywords

Autoepistemic logic; default logic; Herbrand semantics; Theory

Indexed keywords

EID: 33750741280     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/566385.566388     Document Type: Article

References (31)

1. Blair, H. and Marek, V. 1998. Henkin algebras with application to default logic. Presented at the 7th International Workshop on Nonmonotonic Reasoning
2. Gottlob, G. 1995. Translating default logic into standard autoepistemic logic. J. ACM 42, 711-740
3. Guerreiro, R. and Casanova, M. 1990. An alternative semantics for default logic. Presented at the 3th International Workshop on Nonmonotonic Reasoning
4. Hughes, G. and Cresswell, M. 1984. A Companion to Modal Logic. Methuen and Co, London
5. Janhunen, T. 1996. Representing autoepistemic introspection in terms of default rules. In Proceedings of the 12th European Conference on Artificial Intelligence - ECAI'96, W. Wahlster, Ed. Wiley, Chichister, England, 70-74
6. Janhunen, T. 1998. On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription. In Proceedings of the 6th European Workshop on Logics in Artificial Intelligence - JELIA:98, L. d. C. J. Dix and U. Furbach, Eds. Lecture Notes in Artificial Intelligence, vol. 1489. Springer, Berlin, 216-232
7. Janhunen, T. 1999. On the intertranslatability of non-monotonic logics. Ann. Math. Artif. Int. 27, 79-128
8. Kaminski, M. 1995. A comparative study of open default theories. Artif. Int. 77, 285-319
9. Kaminski, M. 1997a. The elimination of de re formulas. J. Philos. Logic 26, 411-422
10. Kaminski, M. 1997b. A note on the stable model semantics for logic programs. Artif. Int. 97, 467-479
11. Kaminski, M. 1999. Open default theories over closed domains. J. IGPL 7, 577-589
12. Kaminski, M., Makowsky, J., and Tiomkin, M. 1998. Extensions for open default theories via the domain closure assumption. J. Logic Comput. 8, 169-187
13. Kaminski, M. and Rey, G. 2000. First-order non-monotonic modal logics. Funda. Inf. 42, 303-333
14. Konolige, K. 1988. On the relation between default and autoepistemic logic. Artif. Int. 35, 343382
15. Konolige, K. 1991. Quantification in autoepistemic logic. Funda. Inf. XV, 275-300
16. Konolige, K. 1994. Autoepistemic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, D. Gabbay, C. Hogger, and J. Robinson, Eds. Vol. 3. Oxford University Press, Oxford, England, 217-295
17. Lakemeyer, G. 1992. On perfect introspection with quantifying-in. Funda. Inf. 17, 75-98
18. Levesque, H. 1990. All I know: A study in autoepistemic logic. Artif. Int. 42, 263-309
19. Lifschitz, V. 1987. Computing circumscription. In Proceedings of the 9th International Joint Conference on Artificial Intelligence. Morgan-Kaufmann, San Mateo, California, 121-127
20. Lifschitz, V. 1990. On open defaults. In Computational Logic: Symposium Proceedings, J. Lloyd, Ed. Springer-Verlag, Berlin, 80-95
21. Lloyd, J. 1993. Foundations of Logic Programming, 2nd extended edition. Springer-Verlag, Berlin, Germany
22. Marek, W. and Truszczynski, M. 1989. Relating autoepistemic and default logics. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, R. Brachman, H. Levesque, and R. Reiter, Eds. Morgan-Kaufmann, Los Altos, California, 276288
23. Marek, W. and Truszczynski, M. 1993. Nonmonotonic Logic. Springer-Verlag, Berlin, Germany
24. Mccarthy, J. 1980. Circumscription-A form of non-monotonic reasoning. Artif. Int. 13, 27-39
25. Mendelson, E. 1987. Introduction to Mathematical Logic. Wadsworth and Brooks, Monterey, Calif
26. Moore, R. 1985. Semantical considerations on non-monotonic logics. Artif. Int. 25, 75-94
27. Moore, R. 1987. Possible-world semantics for autoepistemic logic. In Readings in Non-monotonic Reasoning, M. Ginsberg, Ed. Morgan-Kaufmann, Los Altos, Calif. 137-142
28. Niemela, I. 1988. Autoepistemic predicate logic. In Proceedings of the 8th European Conference on Artificial Intelligence, B. Radig, Y. Kodratoff, B. IJberreiter, and K.-P. Wimmer, Eds. Pitman Publishing, London, England, 595-600
29. Reiter, R. 1978. On closed world databases. In Logic and Databases, H. Gallaire and J. Minker, Eds. Plenum Press, New York, 55-76
30. Reiter, R. 1980. A logic for default reasoning. Artif. Int. 13, 81-132
31. Shvarts, G. 1990. Autoepistemic modal logics. In Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, R. Parikh, Ed. Morgan-Kaufmann, Los Altos, Calif. 97-110