Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy
Journal of Automated Reasoning
Resolution decision procedures
Handbook of automated reasoning
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Information Sciences: an International Journal
The model evolution calculus as a first-order DPLL method
Artificial Intelligence
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Automated reasoning support for first-order ontologies
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Model representation over finite and infinite signatures
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Blocking and other enhancements for bottom-up model generation methods
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Model representation via contexts and implicit generalizations
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |