Adaptation of declaratively represented methods in proof planning
Annals of Mathematics and Artificial Intelligence
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Planning Proofs of Equations in CCS
Automated Software Engineering
Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
Concept Formation via Proof Planning Failure
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Automated Software Engineering
Higher Order Function Synthesis Through Proof Planning
Proceedings of the 16th IEEE international conference on Automated software engineering
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
An Integrated Approach to High Integrity Software Verification
Journal of Automated Reasoning
Proof planning with multiple strategies
Artificial Intelligence
Cooperative reasoning for automatic software verification
Proceedings of the second workshop on Automated formal methods
Tool Integration for Reasoned Programming
Verified Software: Theories, Tools, Experiments
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
A divergence critic for inductive proof
Journal of Artificial Intelligence Research
Cooperating reasoning processes: more than just the sum of their parts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
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)
On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner
Electronic Notes in Theoretical Computer Science (ENTCS)
Poitín: Distilling Theorems From Conjectures
Electronic Notes in Theoretical Computer Science (ENTCS)
CGRASS: a system for transforming constraint satisfaction problems
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Impasse-driven reasoning in proof planning
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Reasoned modelling critics: turning failed proofs into modelling guidance
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
The CORE system: Animation and functional correctness of pointer programs
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Refinement plans for informed formal design
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Reasoned modelling critics: Turning failed proofs into modelling guidance
Science of Computer Programming
Hi-index | 0.00 |