A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Algorithms on Atomic Representations of Herbrand Models
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Extending Decidable Clause Classes via Constraints
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Completeness and Redundancy in Constrained Clause Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Solving Equational Problems Efficiently
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
On Deciding Subsumption Problems
Annals of Mathematics and Artificial Intelligence
Model representation over finite and infinite signatures
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Model representation via contexts and implicit generalizations
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
| Hi-index | 0.00 |