Satchmo - The Compiling and Functional Variants
Journal of Automated Reasoning
WALDMEISTER - High-Performance Equational Deduction
Journal of Automated Reasoning
Adaptive Saturation-Based Reasoning
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
KIV 3.0 for Provably Correct Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
On the Evaluation of Indexing Techniques for Theorem Proving
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Handbook of automated reasoning
Limited resource strategy in resolution theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
On using ground joinable equations in equational theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Journal of Functional Programming
A tabulation-based parsing method that reduces copying
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 1
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
The design and implementation of VAMPIRE
AI Communications - CASC
AI Communications - CASC
AI Communications - CASC
Optimizing typed feature structure grammar parsing through non-statistical indexing
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
iProver --- An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Higher-order term indexing using substitution trees
ACM Transactions on Computational Logic (TOCL)
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
AI Communications - Practical Aspects of Automated Reasoning
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Automated proof compression by invention of new definitions
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
On the implementation of the probabilistic logic programming language problog
Theory and Practice of Logic Programming
Experimenting with deduction modulo
CADE'11 Proceedings of the 23rd international conference on Automated deduction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Methods to access and retrieve mathematical content in ACTIVEMATH
ICMS'06 Proceedings of the Second international conference on Mathematical Software
A focusing inverse method theorem prover for first-order linear logic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
A search engine for mathematical formulae
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
MathWebSearch 0.5: scaling an open formula search engine
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Fingerprint indexing for paramodulation and rewriting
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Simple and efficient clause subsumption with feature vector indexing
Automated Reasoning and Mathematics
Hi-index | 0.00 |