Advertisement

Autoepistemic logic and formalization of commonsense reasoning preliminary report

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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