Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
On Proof Complexity of Circumscription
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Reasoning with infinite stable models
Artificial Intelligence
Graphs and colorings for answer set programming
Theory and Practice of Logic Programming
Rule Calculus: Semantics, Axioms and Applications
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Reasoning with infinite stable models
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |