Preview
Unable to display preview. Download preview PDF.
References
Etherington, D. (1987) Relating Default Logic and Circumscription. Proceedings of IJCAI-87.
Etherington, D., Reiter, R. (1983). On Inheritance Hierarchies with Exceptions. AAAI Natl. Conf.
Gelfond, M. (1987) On stratified autoepistemic theories. Proceedings of AAAI-87.
Gelfond, M., Lifschitz V. (1988) The Stable Model Semantics for Logic Programming. (to appear)
Gelfond, M., Lifschitz V. (1988) Compiling Circumscriptive Theories into Prolog. (to appear)
Hanks,/S., McDermott. (1986). Default reasoning, nonmonotonic logic and frame problem., Proc. AAAI National Conf.
Konolige, K. (1987) On the relation between default theories and autoepistemic logic. Readings in Nonmonotonic Reasoning.
Kautz, H., (1986) "The Logic of Persistence", Proc. AAAI-86, 401–405.
Levesque H., (1987) All I Know: An Abridged Report. Proceedings of AAAI-87.
Lifschitz, V. (1987) Formal theories of actions. Proc. Int. Joint Conf. on A.I.
Lifschitz, V. (1988) Between Circumscription and Autoepistemic Logic. (To appear)
Lifschitz, V. (1987), "Formal Theories of Actions", Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987.
Lloyd, J., (1984) Foundations of Logic Programming. Springler-Verlag.
McCarthy, J., Hayes, P.J. 1969. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4.
McCarthy, J. 1986. Applications of Circumscription to Formalizing Commonsense Knowledge. A.I. 28.
McDermott, D. 1982, Non-monotonic logic 2. JACM, 29.
Minker, J., 1982, "On Indefinite Databases and the Closed World Assumption", Proc. 6-th Conference on Automated Deduction, Springer Verlag, pg 292–308.
Moore, R. 1985. Semantical Considerations of Nonmonotonic Logic. A.I. 25.
Morris P., (1988) Autoepistemic Stable Closure and Contradiction Resolution. (To appear).
Morris P., (1987) Curing Anomalous Extensions. AAAI-87, Seattle.
Przymusinska, H. On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Databases.
Reiter, R., 1980., A Logic for Default Reasoning. A.I. 13.
Shoham, Y, (1987), "Chronological Ignorance", Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987.
Touretzky, D. 1986. The Mathematics of Inheritance system.
Author information
Authors and Affiliations
Editor information
Rights 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