Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Autoepistemic logic and formalization of commonsense reasoning preliminary report

  • Applications
  • Conference paper
  • First Online:
Non-Monotonic Reasoning (NMR 1988)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 346))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Etherington, D. (1987) Relating Default Logic and Circumscription. Proceedings of IJCAI-87.

    Google Scholar 

  2. Etherington, D., Reiter, R. (1983). On Inheritance Hierarchies with Exceptions. AAAI Natl. Conf.

    Google Scholar 

  3. Gelfond, M. (1987) On stratified autoepistemic theories. Proceedings of AAAI-87.

    Google Scholar 

  4. Gelfond, M., Lifschitz V. (1988) The Stable Model Semantics for Logic Programming. (to appear)

    Google Scholar 

  5. Gelfond, M., Lifschitz V. (1988) Compiling Circumscriptive Theories into Prolog. (to appear)

    Google Scholar 

  6. Hanks,/S., McDermott. (1986). Default reasoning, nonmonotonic logic and frame problem., Proc. AAAI National Conf.

    Google Scholar 

  7. Konolige, K. (1987) On the relation between default theories and autoepistemic logic. Readings in Nonmonotonic Reasoning.

    Google Scholar 

  8. Kautz, H., (1986) "The Logic of Persistence", Proc. AAAI-86, 401–405.

    Google Scholar 

  9. Levesque H., (1987) All I Know: An Abridged Report. Proceedings of AAAI-87.

    Google Scholar 

  10. Lifschitz, V. (1987) Formal theories of actions. Proc. Int. Joint Conf. on A.I.

    Google Scholar 

  11. Lifschitz, V. (1988) Between Circumscription and Autoepistemic Logic. (To appear)

    Google Scholar 

  12. Lifschitz, V. (1987), "Formal Theories of Actions", Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987.

    Google Scholar 

  13. Lloyd, J., (1984) Foundations of Logic Programming. Springler-Verlag.

    Google Scholar 

  14. McCarthy, J., Hayes, P.J. 1969. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4.

    Google Scholar 

  15. McCarthy, J. 1986. Applications of Circumscription to Formalizing Commonsense Knowledge. A.I. 28.

    Google Scholar 

  16. McDermott, D. 1982, Non-monotonic logic 2. JACM, 29.

    Google Scholar 

  17. 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. Moore, R. 1985. Semantical Considerations of Nonmonotonic Logic. A.I. 25.

    Google Scholar 

  19. Morris P., (1988) Autoepistemic Stable Closure and Contradiction Resolution. (To appear).

    Google Scholar 

  20. Morris P., (1987) Curing Anomalous Extensions. AAAI-87, Seattle.

    Google Scholar 

  21. Przymusinska, H. On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Databases.

    Google Scholar 

  22. Reiter, R., 1980., A Logic for Default Reasoning. A.I. 13.

    Google Scholar 

  23. Shoham, Y, (1987), "Chronological Ignorance", Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987.

    Google Scholar 

  24. Touretzky, D. 1986. The Mathematics of Inheritance system.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, The University of Texas at El Paso, USA

    Michael Gelfond

Authors
  1. Michael Gelfond
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Reinfrank J. de Kleer M. L. Ginsberg E. Sandewall

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gelfond, M. (1988). Autoepistemic logic and formalization of commonsense reasoning preliminary report. In: Reinfrank, M., de Kleer, J., Ginsberg, M.L., Sandewall, E. (eds) Non-Monotonic Reasoning. NMR 1988. Lecture Notes in Computer Science, vol 346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50701-9_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-50701-9_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50701-7

  • Online ISBN: 978-3-540-46073-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation