Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hyperequivalence of logic programs with respect to supported models
Annals of Mathematics and Artificial Intelligence
Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Hyperequivalence of logic programs with respect to supported models
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
The power of beliefs or translating default logic into standard autoepistemic logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Semantics and complexity of abduction from default theories
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reasoning with minimal belief and negation as failure: algorithms and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Approximating the Stable Model Semantics is Hard
Fundamenta Informaticae
| Hi-index | 0.00 |