Michael Gelfond. Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. In Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall, editors, Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings. Volume 346 of Lecture Notes in Computer Science, pages 176-186, Springer, 1988.
Abstract is missing.