Computing Circumscription Revisited: A Reduction Algorithm
Journal of Automated Reasoning
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Semantic forgetting in answer set programming
Artificial Intelligence
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Computing circumscription revisited: preliminary report
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A Reduction Result for Circumscribed Semi-Horn Formulas
Fundamenta Informaticae
| Hi-index | 0.00 |