Autoepistemic Modal Logics

Modal nonmonotonic logics: ranges, characterization, computation

Journal of the ACM (JACM)

Translating default logic into standard autoepistemic logic

Journal of the ACM (JACM)

Revisiting quantification in autoepistemic logic

ACM Transactions on Computational Logic (TOCL)

Semantics and expressiveness of disjunctive ordered logic

Annals of Mathematics and Artificial Intelligence

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

Journal of Logic, Language and Information

Uniform semantic treatment of default and autoepistemic logics

Artificial Intelligence

Nonmonotonic reasoning: towards efficient calculi and implementations

Handbook of automated reasoning

Modal logic S4F and the minimal knowledge paradigm

TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge