A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.

Joseph Y. Halpern A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. 144-163 1997 13 Computational Intelligence 1 db/journals/ci/ci13.html#Halpern97