The use of explicit plans to guide inductive proofs. Zbl 0656.68106
Bundy, Alan |
|
1988
|
Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121
Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan |
|
1993
|
Productive use of failure in inductive proof. Zbl 0847.68103
Ireland, Andrew; Bundy, Alan |
|
1996
|
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew |
|
2005
|
The automation of proof by mathematical induction. Zbl 0994.03007
Bundy, Alan |
|
2001
|
The computer modelling of mathematical reasoning. Zbl 0541.68067
Bundy, Alan |
|
1983
|
Conjecture synthesis for inductive theories. Zbl 1243.68268
Johansson, Moa; Dixon, Lucas; Bundy, Alan |
|
2011
|
The OYSTER-CLAM system. Zbl 1509.68299
Bundy, Alan; van Harmelen, Frank; Horn, Christian; Smaill, Alan |
|
1990
|
Incidence calculus: A mechanism for probabilistic reasoning. Zbl 0615.68067
Bundy, Alan |
|
1985
|
Experiments with proof plans for induction. Zbl 0733.68069
Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan |
|
1991
|
On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621
Colton, Simon; Bundy, Alan; Walsh, Toby |
|
2000
|
Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106
van Harmelen, Frank; Bundy, Alan |
|
1988
|
Extensions to the rippling-out tactic for guiding inductive proofs. Zbl 1509.68300
Bundy, Alan; van Harmelen, Frank; Smaill, Alan; Ireland, Andrew |
|
1990
|
Dr.Doodle: A diagrammatic theorem prover. Zbl 1126.68584
Winterstein, Daniel; Bundy, Alan; Gurr, Corin |
|
2004
|
A rational reconstruction and extension of recursion analysis. Zbl 0708.68061
Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew |
|
1989
|
The use of proof plans to sum series. Zbl 0925.03072
Walsh, Toby; Nunes, Alex; Bundy, Alan |
|
1992
|
On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008
Jamnik, Mateja; Bundy, Alan; Green, Ian |
|
1999
|
Case-analysis for rippling and inductive proof. Zbl 1291.68352
Johansson, Moa; Dixon, Lucas; Bundy, Alan |
|
2010
|
Correctness criteria of some algorithms for uncertain reasoning using incidence calculus. Zbl 0642.68178
Bundy, Alan |
|
1986
|
Abstracts of additional presentations made at the Royal Society discussion meeting ‘The nature of mathematical proof’. Zbl 1152.03303
Bundy, Alan; Mackenzie, Donald; Atiyah, Michael; Macintyre, Angus |
|
2005
|
Middle-out reasoning for synthesis and induction. Zbl 0847.68104
Kraan, Ina; Basin, David; Bundy, Alan |
|
1996
|
Applying adversarial planning techniques to Go. Zbl 0962.91011
Willmott, S.; Richardson, J.; Bundy, A.; Levine, J. |
|
2001
|
Proofs about lists using ellipsis. Zbl 0938.03017
Bundy, Alan; Richardson, Julian |
|
1999
|
Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Zbl 0438.68041
Bundy, Alan; Welham, Bob |
|
1980
|
A survey of automated deduction. Zbl 0947.03011
Bundy, Alan |
|
1999
|
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012
Janičić, Predrag; Bundy, Alan |
|
2002
|
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004
Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby |
|
1997
|
Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Zbl 0875.00063
|
|
1994
|
Automated theorem provers: a practical tool for the working mathematician? Zbl 1237.68177
Bundy, Alan |
|
2011
|
Ascertaining mathematical theorems. Zbl 1273.68324
McCasland, Roy L.; Bundy, Alan; Smith, Patrick F. |
|
2006
|
Towards ontology evolution in physics. Zbl 1155.68521
Bundy, Alan; Chan, Michael |
|
2008
|
Automatic verification of functions with accumulating parameters. Zbl 0940.68023
Ireland, Andrew; Bundy, Alan |
|
1999
|
What is a proof? Zbl 1152.00305
Bundy, Alan; Jamnik, Mateja; Fugard, Andrew |
|
2005
|
An analytical comparison of some rule-learning programs. Zbl 0583.68043
Bundy, Alan; Silver, Bernard; Plummer, Dave |
|
1985
|
Using a generalisation critic to find bisimulations for coinductive proofs. Zbl 1430.68399
Dennis, Louise; Bundy, Alan; Green, Ian |
|
1997
|
A critique of proof planning. Zbl 1012.68180
Bundy, Alan |
|
2002
|
Using animation in diagrammatic theorem proving. Zbl 1049.68122
Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja |
|
2002
|
A science of reasoning. (Extended abstract). Zbl 0913.03022
Bundy, Alan |
|
1998
|
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T. |
|
1996
|
A generalized interval package and its use for semantic checking. Zbl 0548.65039
Bundy, Alan |
|
1984
|
An experimental comparison of diagrammatic and algebraic logics. Zbl 1091.68597
Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja |
|
2004
|
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. Zbl 1126.68579
Steel, Graham; Bundy, Alan; Maidl, Monika |
|
2004
|
Automating signature evolution in logical theories. Zbl 1166.68356
Bundy, Alan |
|
2008
|
Assignment methods for incidence calculus. Zbl 0820.68114
McLean, R. G.; Bundy, A.; Liu, W. |
|
1995
|
A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122
Janičić, Predrag; Bundy, Alan; Green, Ian |
|
1999
|
A proposal for automating diagrammatic reasoning in continuous domains. Zbl 0973.68544
Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja |
|
2000
|
Planning proofs of equations in CCS. Zbl 1034.68646
Monroy, Raúl; Bundy, Alan; Green, Ian |
|
2000
|
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan |
|
1997
|
Commentary on: Solving symbolic equations with PRESS. Zbl 0651.68042
Fateman, Richard; Bundy, Alan; O’Keefe, Richard; Sterling, Leon |
|
1988
|
A single-significant-digit calculus for semi-automated guesstimation. Zbl 1291.68315
Abourbih, Jonathan A.; Blaney, Luke; Bundy, Alan; McNeill, Fiona |
|
2010
|
Will it reach the top? Prediction in the mechanics world. Zbl 0376.70001
Bundy, Alan |
|
1978
|
Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260
Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison |
|
2015
|
Attacking group protocols by refuting incorrect inductive conjectures. Zbl 1134.94378
Steel, Graham; Bundy, Alan |
|
2006
|
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Zbl 1001.68128
Dennis, L. A.; Bundy, A.; Green, I. |
|
2000
|
On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110
Jamnik, Mateja; Bundy, Alan; Green, Ian |
|
2002
|
On differences between the real and physical plane. Zbl 1091.68666
Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja |
|
2004
|
Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261
Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison |
|
2016
|
Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261
Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison |
|
2016
|
Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260
Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison |
|
2015
|
Conjecture synthesis for inductive theories. Zbl 1243.68268
Johansson, Moa; Dixon, Lucas; Bundy, Alan |
|
2011
|
Automated theorem provers: a practical tool for the working mathematician? Zbl 1237.68177
Bundy, Alan |
|
2011
|
Case-analysis for rippling and inductive proof. Zbl 1291.68352
Johansson, Moa; Dixon, Lucas; Bundy, Alan |
|
2010
|
A single-significant-digit calculus for semi-automated guesstimation. Zbl 1291.68315
Abourbih, Jonathan A.; Blaney, Luke; Bundy, Alan; McNeill, Fiona |
|
2010
|
Towards ontology evolution in physics. Zbl 1155.68521
Bundy, Alan; Chan, Michael |
|
2008
|
Automating signature evolution in logical theories. Zbl 1166.68356
Bundy, Alan |
|
2008
|
Ascertaining mathematical theorems. Zbl 1273.68324
McCasland, Roy L.; Bundy, Alan; Smith, Patrick F. |
|
2006
|
Attacking group protocols by refuting incorrect inductive conjectures. Zbl 1134.94378
Steel, Graham; Bundy, Alan |
|
2006
|
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew |
|
2005
|
Abstracts of additional presentations made at the Royal Society discussion meeting ‘The nature of mathematical proof’. Zbl 1152.03303
Bundy, Alan; Mackenzie, Donald; Atiyah, Michael; Macintyre, Angus |
|
2005
|
What is a proof? Zbl 1152.00305
Bundy, Alan; Jamnik, Mateja; Fugard, Andrew |
|
2005
|
Dr.Doodle: A diagrammatic theorem prover. Zbl 1126.68584
Winterstein, Daniel; Bundy, Alan; Gurr, Corin |
|
2004
|
An experimental comparison of diagrammatic and algebraic logics. Zbl 1091.68597
Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja |
|
2004
|
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. Zbl 1126.68579
Steel, Graham; Bundy, Alan; Maidl, Monika |
|
2004
|
On differences between the real and physical plane. Zbl 1091.68666
Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja |
|
2004
|
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012
Janičić, Predrag; Bundy, Alan |
|
2002
|
A critique of proof planning. Zbl 1012.68180
Bundy, Alan |
|
2002
|
Using animation in diagrammatic theorem proving. Zbl 1049.68122
Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja |
|
2002
|
On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110
Jamnik, Mateja; Bundy, Alan; Green, Ian |
|
2002
|
The automation of proof by mathematical induction. Zbl 0994.03007
Bundy, Alan |
|
2001
|
Applying adversarial planning techniques to Go. Zbl 0962.91011
Willmott, S.; Richardson, J.; Bundy, A.; Levine, J. |
|
2001
|
On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621
Colton, Simon; Bundy, Alan; Walsh, Toby |
|
2000
|
A proposal for automating diagrammatic reasoning in continuous domains. Zbl 0973.68544
Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja |
|
2000
|
Planning proofs of equations in CCS. Zbl 1034.68646
Monroy, Raúl; Bundy, Alan; Green, Ian |
|
2000
|
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Zbl 1001.68128
Dennis, L. A.; Bundy, A.; Green, I. |
|
2000
|
On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008
Jamnik, Mateja; Bundy, Alan; Green, Ian |
|
1999
|
Proofs about lists using ellipsis. Zbl 0938.03017
Bundy, Alan; Richardson, Julian |
|
1999
|
A survey of automated deduction. Zbl 0947.03011
Bundy, Alan |
|
1999
|
Automatic verification of functions with accumulating parameters. Zbl 0940.68023
Ireland, Andrew; Bundy, Alan |
|
1999
|
A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122
Janičić, Predrag; Bundy, Alan; Green, Ian |
|
1999
|
A science of reasoning. (Extended abstract). Zbl 0913.03022
Bundy, Alan |
|
1998
|
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004
Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby |
|
1997
|
Using a generalisation critic to find bisimulations for coinductive proofs. Zbl 1430.68399
Dennis, Louise; Bundy, Alan; Green, Ian |
|
1997
|
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan |
|
1997
|
Productive use of failure in inductive proof. Zbl 0847.68103
Ireland, Andrew; Bundy, Alan |
|
1996
|
Middle-out reasoning for synthesis and induction. Zbl 0847.68104
Kraan, Ina; Basin, David; Bundy, Alan |
|
1996
|
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T. |
|
1996
|
Assignment methods for incidence calculus. Zbl 0820.68114
McLean, R. G.; Bundy, A.; Liu, W. |
|
1995
|
Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Zbl 0875.00063
|
|
1994
|
Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121
Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan |
|
1993
|
The use of proof plans to sum series. Zbl 0925.03072
Walsh, Toby; Nunes, Alex; Bundy, Alan |
|
1992
|
Experiments with proof plans for induction. Zbl 0733.68069
Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan |
|
1991
|
The OYSTER-CLAM system. Zbl 1509.68299
Bundy, Alan; van Harmelen, Frank; Horn, Christian; Smaill, Alan |
|
1990
|
Extensions to the rippling-out tactic for guiding inductive proofs. Zbl 1509.68300
Bundy, Alan; van Harmelen, Frank; Smaill, Alan; Ireland, Andrew |
|
1990
|
A rational reconstruction and extension of recursion analysis. Zbl 0708.68061
Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew |
|
1989
|
The use of explicit plans to guide inductive proofs. Zbl 0656.68106
Bundy, Alan |
|
1988
|
Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106
van Harmelen, Frank; Bundy, Alan |
|
1988
|
Commentary on: Solving symbolic equations with PRESS. Zbl 0651.68042
Fateman, Richard; Bundy, Alan; O’Keefe, Richard; Sterling, Leon |
|
1988
|
Correctness criteria of some algorithms for uncertain reasoning using incidence calculus. Zbl 0642.68178
Bundy, Alan |
|
1986
|
Incidence calculus: A mechanism for probabilistic reasoning. Zbl 0615.68067
Bundy, Alan |
|
1985
|
An analytical comparison of some rule-learning programs. Zbl 0583.68043
Bundy, Alan; Silver, Bernard; Plummer, Dave |
|
1985
|
A generalized interval package and its use for semantic checking. Zbl 0548.65039
Bundy, Alan |
|
1984
|
The computer modelling of mathematical reasoning. Zbl 0541.68067
Bundy, Alan |
|
1983
|
Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Zbl 0438.68041
Bundy, Alan; Welham, Bob |
|
1980
|
Will it reach the top? Prediction in the mechanics world. Zbl 0376.70001
Bundy, Alan |
|
1978
|