A new method for consequence finding and compilation in restricted languages
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
The CADE-14 ATP System Competition
Journal of Automated Reasoning
Lemma Generalization and Non-unit Lemma Matching for Model Elimination
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Model elimination and connection tableau procedures
Handbook of automated reasoning
leanCoP: lean connection-based theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
A Coinduction Rule for Entailment of Recursively Defined Properties
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Prolog Based Description Logic Reasoning
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Logic-based subsumption architecture
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Efficient description logic reasoning in prolog: The dlog system
Theory and Practice of Logic Programming
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Scalable Web Reasoning Using Logic Programming Techniques
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
A consequence finding approach for full clausal abduction
DS'07 Proceedings of the 10th international conference on Discovery science
Mode-directed inverse entailment for full clausal theories
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Translating description logic queries to prolog
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
| Hi-index | 0.00 |