Autoepistemic Logic and Introspective Circumscription.

Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz

Browse the full TARK paper archive.