Embedding a default system into nonmonotonic logics

Nonmonotonic default modal logics

Journal of the ACM (JACM)

Translating default logic into standard autoepistemic logic

Journal of the ACM (JACM)

Towards First-Order Nonmonotonic Reasoning

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning

First-Order Ground Non-Monotonic Modal Logic

Fundamenta Informaticae

Hyperequivalence of logic programs with respect to supported models

Annals of Mathematics and Artificial Intelligence

Only-knowing: taking it beyond autoepistemic reasoning

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2

Hyperequivalence of logic programs with respect to supported models

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1

The power of beliefs or translating default logic into standard autoepistemic logic

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Modal interpretations of default logic

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

First-Order Ground Non-Monotonic Modal Logic

Fundamenta Informaticae

First-order Non-monotonic Modal Logics

Fundamenta Informaticae