Preview
Unable to display preview. Download preview PDF.
References
Gelfond, M. Autoepistemic Logic and Formalization of Commonsense Knowledge. Preprint, Computer Science Dept., Univ. of Texas at El Paso. 1988
Hanks, S., and McDermott, D. Default reasoning, nonmonotonic logics, and the frame problem. In Proceedings AAAI-86, pages 328–333. Philadelphia, 1986.
Konolige, Kurt. On the Relation between Default Theories and Autoepistemic Logic. In Proc. IJCAI-87. Milan, Italy, 1987.
Konolige, Kurt. On the Relation between Default and Autoepistemic Logic. Artificial Intelligence 35:343–382, 1988.
Lin, Fangzhen. Reasoning in the presence of inconsistency. In Proceedings AAAI-87, pages 139–143. Seattle, 1987.
McDermott, D. Nonmonotonic Logic I. Artificial Intelligence 13:41–72, 1980.
Moore, R.C. Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence 25:75–94, 1985.
Morris, P.H. Curing Anomalous Extensions. In Proceedings AAAI-87, pages 437–442. Seattle, July, 1987.
Reiter, Raymond. A logic for default reasoning. Artificial Intelligence 13:81–132, 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morris, P.H. (1988). Autoepistemic stable closures and contradiction resolution. 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_20
Download citation
DOI: https://doi.org/10.1007/3-540-50701-9_20
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