Autoepistemic logic and formalization of commonsense reasoning preliminary report

  • Michael Gelfond
Part of the Lecture Notes in Computer Science book series (LNCS, volume 346)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [E]
    Etherington, D. (1987) Relating Default Logic and Circumscription. Proceedings of IJCAI-87.Google Scholar
  2. [ER]
    Etherington, D., Reiter, R. (1983). On Inheritance Hierarchies with Exceptions. AAAI Natl. Conf.Google Scholar
  3. [G]
    Gelfond, M. (1987) On stratified autoepistemic theories. Proceedings of AAAI-87.Google Scholar
  4. [GL]
    Gelfond, M., Lifschitz V. (1988) The Stable Model Semantics for Logic Programming. (to appear)Google Scholar
  5. [GL1]
    Gelfond, M., Lifschitz V. (1988) Compiling Circumscriptive Theories into Prolog. (to appear)Google Scholar
  6. [HM]
    Hanks,/S., McDermott. (1986). Default reasoning, nonmonotonic logic and frame problem., Proc. AAAI National Conf.Google Scholar
  7. [K]
    Konolige, K. (1987) On the relation between default theories and autoepistemic logic. Readings in Nonmonotonic Reasoning.Google Scholar
  8. [Ka]
    Kautz, H., (1986) "The Logic of Persistence", Proc. AAAI-86, 401–405.Google Scholar
  9. [Lev]
    Levesque H., (1987) All I Know: An Abridged Report. Proceedings of AAAI-87.Google Scholar
  10. [L]
    Lifschitz, V. (1987) Formal theories of actions. Proc. Int. Joint Conf. on A.I.Google Scholar
  11. [L1]
    Lifschitz, V. (1988) Between Circumscription and Autoepistemic Logic. (To appear)Google Scholar
  12. [L2]
    Lifschitz, V. (1987), "Formal Theories of Actions", Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987.Google Scholar
  13. [Ll]
    Lloyd, J., (1984) Foundations of Logic Programming. Springler-Verlag.Google Scholar
  14. [McC1]
    McCarthy, J., Hayes, P.J. 1969. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4.Google Scholar
  15. [McC2]
    McCarthy, J. 1986. Applications of Circumscription to Formalizing Commonsense Knowledge. A.I. 28.Google Scholar
  16. [McD]
    McDermott, D. 1982, Non-monotonic logic 2. JACM, 29.Google Scholar
  17. [Mi]
    Minker, J., 1982, "On Indefinite Databases and the Closed World Assumption", Proc. 6-th Conference on Automated Deduction, Springer Verlag, pg 292–308.Google Scholar
  18. [M]
    Moore, R. 1985. Semantical Considerations of Nonmonotonic Logic. A.I. 25.Google Scholar
  19. [Mo]
    Morris P., (1988) Autoepistemic Stable Closure and Contradiction Resolution. (To appear).Google Scholar
  20. [Mo1]
    Morris P., (1987) Curing Anomalous Extensions. AAAI-87, Seattle.Google Scholar
  21. [P]
    Przymusinska, H. On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Databases.Google Scholar
  22. [R]
    Reiter, R., 1980., A Logic for Default Reasoning. A.I. 13.Google Scholar
  23. [S]
    Shoham, Y, (1987), "Chronological Ignorance", Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987.Google Scholar
  24. [T]
    Touretzky, D. 1986. The Mathematics of Inheritance system.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Michael Gelfond
    • 1
  1. 1.Computer Science DepartmentThe University of Texas at El PasoUSA

Personalised recommendations