On the classification and existence of structures in default logic

Nonmonotonic default modal logics

Journal of the ACM (JACM)

On the complexity of propositional knowledge base revision, updates, and counterfactuals

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Outlier detection using default reasoning

Artificial Intelligence

Outlier detection using default logic

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence

First-order Non-monotonic Modal Logics

Fundamenta Informaticae