Experimental Results on Subgoal Reordering
IEEE Transactions on Computers
Term rewriting: Some experimental results
Journal of Symbolic Computation
Sacre: a constraint satisfaction problem based theorem prover
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
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Parallelization of a Hyper-Linking–Based Theorem Prover
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
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Compilation of Disjunctive Logic Programs Using an Extended WAM
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Model elimination, logic programming and computing answers
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
A multi-agent framework for distributed theorem proving
Expert Systems with Applications: An International Journal
A taxonomy of theorem-proving strategies
Artificial intelligence today
Hi-index | 0.00 |