Experiments with Proof Plans for Induction (1992)

Cached

Download Links

by Alan Bundy , Frank van Harmelen , Jane Hesketh , Alan Smaill
Venue:Journal of Automated Reasoning
Citations:95 - 33 self

Active Bibliography

74 A Science of Reasoning – Alan Bundy - 1991
162 Rippling: A Heuristic for Guiding Inductive Proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
Rippling: a heuristic – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Irel, Alan Smaill, A. Stevens, F. Van Harmelen, A. Irel, A. Smaill - 1991
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
43 The automation of proof by mathematical induction – Alan Bundy - 1997
3 Planning and patching proof – Alan Bundy - 2004
26 Middle-Out Reasoning for Synthesis and Induction – Ina Kraan, David Basin, Alan Bundy - 1995
1 Symbolic Reasoning by Difference Reduction – David A. Basin, Im Stadtwald, Toby Walsh - 1994
19 Difference Matching – David Basin, Toby Walsh - 1992
Recursive Program Optimization Through Inductive Synthesis Proof Transformation – Peter Madden, Alan Bundy, Alan Smaill - 1999
3 Higher Order Function Synthesis Through Proof Planning – Andrew Cook, Andrew Ireland, Greg Michaelson - 2001
La Deduzione Automatica – F. Giunchiglia, Paolo Traverso, L. Serafini, La Deduzione Automatica, La Deduzione Automatica, Fausto Giunchiglia, Paolo Traverso, Luciano Serafini
27 A rational reconstruction and extension of recursion analysis – Alan Bundy, Frank Van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens - 1989
54 The Use of Planning Critics in Mechanizing Inductive Proofs – Andrew Ireland - 1992
6 Using Rippling for Equational Reasoning – Dieter Hutter - 1996
97 Productive Use of Failure in Inductive Proof – Andrew Ireland, Alan Bundy - 1995
4 Towards a formal theory of program construction – Christoph Kreitz - 1990
5 Automating the Synthesis of Decision Procedures in a Constructive Metatheory – Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy - 1996
5 Predicate synthesis for correcting faulty conjectures: The proof planning paradigm – Raúl Monroy - 2003