Autoepistemic Logic and Introspective Circumscription (1994)
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Grigori Schwarz
We investigate the relationship between two epistemic nonmonotonic formalisms: autoepistemic logic and introspective circumscription. Finitely axiomatized autoepistemic theories are shown to be equivalent to the propositional case of introspective circumscription. This theorem is applied to the problem of relating the usual "minimizing" circumscription to autoepistemic logic.
In Theoretical Aspects of Reasoning about Knowledge: Proceedings Fifth Conf., Fagin, Ronald (Eds.), pp. 197-207 1994.

Vladimir Lifschitz Faculty vl [at] cs utexas edu