A feature-based learning method for theorem proving
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
An Erratum for Some Errata to ATP Problems
Journal of Automated Reasoning
The CADE-14 ATP System Competition
Journal of Automated Reasoning
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion
Journal of Automated Reasoning
The Design of the CADE-13 ATP System Competition
Journal of Automated Reasoning
LINUS - A Link Instantion Prover with Unit Support
Journal of Automated Reasoning
Satchmo - The Compiling and Functional Variants
Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
The Results - of the CADE-13 ATP System Competition
Journal of Automated Reasoning
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference
Journal of Automated Reasoning
SPS-Parallelism + SETHEO = SPTHEO
Journal of Automated Reasoning
A Benchmark Method for the Propositional Modal Logics K, KT, S4
Journal of Automated Reasoning
First-Order Atom Definitions Extended
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Proof Development with Omega-MEGA: sqrt(2) Is Irrational
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Requirement-Based Cooperative Theorem Proving
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Scheduling Methods for Parallel Automated Theorem Proving
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Learning Search Control Knowledge for Equational Theorem Proving
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Model elimination and connection tableau procedures
Handbook of automated reasoning
Fast Term Indexing with Coded Context Trees
Journal of Automated Reasoning
Constraint Solving for Proof Planning
Journal of Automated Reasoning
Feature‐based learning of search‐guiding heuristics for theorem proving
AI Communications
System for Automated Deduction (SAD): A Tool for Proof Verification
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Efficient Well-Definedness Checking
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
High performance ATP systems by combining several AI methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Lemma generation for model elimination by combining top-down and bottom-up inference
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Cooperation of heterogeneous provers
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of automated deduction
Artificial intelligence today
Extending the regular restriction of resolution to non-linear subdeductions
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi
Fundamenta Informaticae
| Hi-index | 0.00 |