Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Planning Proofs of Equations in CCS
Automated Software Engineering
Recursive Program Optimization through Inductive Synthesis Proof Transformation
Journal of Automated Reasoning
Proofs About Lists Using Ellipsis
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Comparison of Two Proof Critics: Power vs. Robustness
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A Science of Reasoning (Extended Abstract)
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
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
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Automated Software Engineering
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
Inductively Verifying Invariant Properties of Parameterized Systems
Automated Software Engineering
An unfold/fold transformation framework for definite logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Customised Induction Rules for Proving Correctness of Imperative Programs
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Mathematical Induction in Otter-Lambda
Journal of Automated Reasoning
An Integrated Approach to High Integrity Software Verification
Journal of Automated Reasoning
An approach to automatic deductive synthesis of functional programs
Annals of Mathematics and Artificial Intelligence
Tool Integration for Reasoned Programming
Verified Software: Theories, Tools, Experiments
A divergence critic for inductive proof
Journal of Artificial Intelligence Research
Relational rippling: a general approach
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A Schemata Calculus for Propositional Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of automated deduction
Artificial intelligence today
Integrating implicit induction proofs into certified proof environments
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Decidability and undecidability results for propositional schemata
Journal of Artificial Intelligence Research
Reasoning, Action and Interaction in AI Theories and Systems
Automatic composition of semantic web services – a theorem proof approach
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Case-Analysis for rippling and inductive proof
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
The use of theorem provers in the teaching and practice of formal methods
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |