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

• Authors:

• Joseph Y. Halpern

• Affiliations:

• -

• Venue:
• KGC '93 Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory
• Year:
• 1993