The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Circumscription with homomorphisms: solving the equality and counterexample problems
Journal of the ACM (JACM)
General Preferential Entailments as Circumscriptions
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Smallest Equivalent Sets for Finite Propositional Formula Circumscription
CL '00 Proceedings of the First International Conference on Computational Logic
A consistency-based approach for belief change
Artificial Intelligence
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
Redundancy in logic III: Non-monotonic reasoning
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
On the relation between autoepistemic logic and circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Compiling prioritized circumscription into extended logic programs
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
Complexity of nested circumscription and abnormality theories
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Relating belief revision and circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Computing minimal models by positively minimal disjuncts
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
CIRC2DLP: translating circumscription into disjunctive logic programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
The predicate-minimizing logic MIN
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Hi-index | 0.00 |