Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Compiling prioritized circumscription into extended logic programs
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
CIRC2DLP: translating circumscription into disjunctive logic programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |