Planning Proofs of Equations in CCS
Automated Software Engineering
Concept Formation via Proof Planning Failure
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Automated Software Engineering
An Integrated Approach to High Integrity Software Verification
Journal of Automated Reasoning
Cooperating reasoning processes: more than just the sum of their parts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Some encounters on the productive use of a failed proof attempt or a counterexample
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
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
Reasoned modelling critics: Turning failed proofs into modelling guidance
Science of Computer Programming
| Hi-index | 0.00 |