The Use of Planning Critics in Mechanizing Inductive Proofs (1992)

Cached

Download Links

by Andrew Ireland
Venue:International Conference on Logic Programming and Automated Reasoning -- LPAR 92, St. Petersburg, Lecture Notes in Artificial Intelligence No. 624
Citations:54 - 11 self

Active Bibliography

43 The automation of proof by mathematical induction – Alan Bundy - 1997
Rippling: a heuristic – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Irel, Alan Smaill, A. Stevens, F. Van Harmelen, A. Irel, A. Smaill - 1991
162 Rippling: A Heuristic for Guiding Inductive Proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
26 Middle-Out Reasoning for Synthesis and Induction – Ina Kraan, David Basin, Alan Bundy - 1995
Planning Proofs of Correctness of CCS Systems – Raúl Monroy-Borja - 1997
24 Logic Program Synthesis via Proof Planning – C Fl Ina Kraan, Ina Kraan, Ina Kraan, David Basin, David Basin, David Basin, Alan Bundy, Alan Bundy, Alan Bundy - 1993
17 An Adaptation of Proof-Planning to Declarer Play in Bridge – Ian Frank, David Basin, Alan Bundy - 1992
74 A Science of Reasoning – Alan Bundy - 1991
An Integrated Approach to High . . . – Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
5 Automating the Synthesis of Decision Procedures in a Constructive Metatheory – Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy - 1996
2 Progress in Proof Planning: Planning Limit Theorems Automatically – Erika Melis, Erica Melis - 1997
38 Logic Program Synthesis – Yves Deville, Kung-kiu Lau - 1993
12 Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs – Jane Hesketh , Alan Bundy, Alan Smaill - 1992
31 Middle-Out Reasoning for Logic Program Synthesis – Ina Kraan, David Basin, Alan Bundy - 1993
An Integrated Approach to Program Reasoning – Andrew Ireland , Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
Lemma Discovery and Middle-Out Reasoning for Automated Inductive Proofs – Moa Johansson, Lucas Dixon, Alan Bundy
3 Higher Order Function Synthesis Through Proof Planning – Andrew Cook, Andrew Ireland, Greg Michaelson - 2001
Main Research Contributions – Erica Melis
24 The Use of Proof Plans to Sum Series – Toby Walsh, Alex Nunes, Alan Bundy - 1992