The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Defeasible inclusions in low-complexity DLs
Journal of Artificial Intelligence Research
Translating first-order theories into logic programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
| Hi-index | 0.01 |