On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle.

Robert F. Strk

Browse the full CSL paper archive.