MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Proofs About Lists Using Ellipsis
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Semantics for Proof Plans with Applications to Interactive Proof Planning
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Searching for Invariants Using Temporal Resolution
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Comparison of Two Proof Critics: Power vs. Robustness
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Abstract: Proof Planning with Program Schemas
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Logic Program Synthesis in a Higher-Order Setting
CL '00 Proceedings of the First International Conference on Computational Logic
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Handbook of automated reasoning
Higher Order Function Synthesis Through Proof Planning
Proceedings of the 16th IEEE international conference on Automated software engineering
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Automated reasoning in quantified modal and temporal logics
AI Communications
Enhancing Theorem Prover Interfaces with Program Slice Information
Electronic Notes in Theoretical Computer Science (ENTCS)
Proof planning with multiple strategies
Artificial Intelligence
On Correctness of Mathematical Texts from a Logical and Practical Point of View
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Crystal: Integrating Structured Queries into a Tactic Language
Journal of Automated Reasoning
Failure Reasoning in Multiple-Strategy Proof Planning
Electronic Notes in Theoretical Computer Science (ENTCS)
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Hiproofs: A Hierarchical Notion of Proof Tree
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner
Electronic Notes in Theoretical Computer Science (ENTCS)
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling
Journal of Automated Reasoning
Synthesizing proof planning methods and Ω-ants agents from mathematical knowledge
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Reasoning, Action and Interaction in AI Theories and Systems
System description: MULTI a multi-strategy proof planner
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Case-Analysis for rippling and inductive proof
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Hi-index | 0.00 |