×

zbMATH — the first resource for mathematics

Bundy, Alan

Compute Distance To:
Author ID: bundy.alan Recent zbMATH articles by "Bundy, Alan"
Published as: Bundy, Alan; Bundy, A.
External Links: MGP · Wikidata · dblp · IdRef
Documents Indexed: 77 Publications since 1972, including 4 Books

Publications by Year

Citations contained in zbMATH Open

51 Publications have been cited 301 times in 188 Documents Cited by Year
Productive use of failure in inductive proof. Zbl 0847.68103
Ireland, Andrew; Bundy, Alan
30
1996
Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121
Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan
29
1993
The use of explicit plans to guide inductive proofs. Zbl 0656.68106
Bundy, Alan
26
1988
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
26
2005
The automation of proof by mathematical induction. Zbl 0994.03007
Bundy, Alan
21
2001
The computer modelling of mathematical reasoning. Zbl 0541.68067
Bundy, Alan
15
1983
Conjecture synthesis for inductive theories. Zbl 1243.68268
Johansson, Moa; Dixon, Lucas; Bundy, Alan
14
2011
Incidence calculus: A mechanism for probabilistic reasoning. Zbl 0615.68067
Bundy, Alan
12
1985
Experiments with proof plans for induction. Zbl 0733.68069
Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan
11
1991
Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106
van Harmelen, Frank; Bundy, Alan
8
1988
The use of proof plans to sum series. Zbl 0925.03072
Walsh, Toby; Nunes, Alex; Bundy, Alan
7
1992
On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621
Colton, Simon; Bundy, Alan; Walsh, Toby
6
2000
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
6
2005
Correctness criteria of some algorithms for uncertain reasoning using incidence calculus. Zbl 0642.68178
Bundy, Alan
6
1986
Middle-out reasoning for synthesis and induction. Zbl 0847.68104
Kraan, Ina; Basin, David; Bundy, Alan
6
1996
Dr.Doodle: A diagrammatic theorem prover. Zbl 1126.68584
Winterstein, Daniel; Bundy, Alan; Gurr, Corin
6
2004
Proofs about lists using ellipsis. Zbl 0938.03017
Bundy, Alan; Richardson, Julian
5
1999
Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Zbl 0438.68041
Bundy, Alan; Welham, Bob
5
1980
A rational reconstruction and extension of recursion analysis. Zbl 0708.68061
Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew
5
1989
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012
Janičić, Predrag; Bundy, Alan
4
2002
On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008
Jamnik, Mateja; Bundy, Alan; Green, Ian
4
1999
What is a proof? Zbl 1152.00305
Bundy, Alan; Jamnik, Mateja; Fugard, Andrew
3
2005
Automated theorem provers: a practical tool for the working mathematician? Zbl 1237.68177
Bundy, Alan
3
2011
An analytical comparison of some rule-learning programs. Zbl 0583.68043
Bundy, Alan; Silver, Bernard; Plummer, Dave
3
1985
A survey of automated deduction. Zbl 0947.03011
Bundy, Alan
3
1999
Case-analysis for rippling and inductive proof. Zbl 1291.68352
Johansson, Moa; Dixon, Lucas; Bundy, Alan
3
2010
Automatic verification of functions with accumulating parameters. Zbl 0940.68023
Ireland, Andrew; Bundy, Alan
3
1999
Applying adversarial planning techniques to Go. Zbl 0962.91011
Willmott, S.; Richardson, J.; Bundy, A.; Levine, J.
3
2001
A generalized interval package and its use for semantic checking. Zbl 0548.65039
Bundy, Alan
2
1984
Ascertaining mathematical theorems. Zbl 1273.68324
McCasland, Roy L.; Bundy, Alan; Smith, Patrick F.
2
2006
A science of reasoning. (Extended abstract). Zbl 0913.03022
Bundy, Alan
2
1998
Using animation in diagrammatic theorem proving. Zbl 1049.68122
Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja
2
2002
A critique of proof planning. Zbl 1012.68180
Bundy, Alan
2
2002
Towards ontology evolution in physics. Zbl 1155.68521
Bundy, Alan; Chan, Michael
1
2008
Automating signature evolution in logical theories. Zbl 1166.68356
Bundy, Alan
1
2008
Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260
Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison
1
2015
Commentary on: Solving symbolic equations with PRESS. Zbl 0651.68042
Fateman, Richard; Bundy, Alan; O’Keefe, Richard; Sterling, Leon
1
1988
A proposal for automating diagrammatic reasoning in continuous domains. Zbl 0973.68544
Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja
1
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.
1
2000
On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110
Jamnik, Mateja; Bundy, Alan; Green, Ian
1
2002
An experimental comparison of diagrammatic and algebraic logics. Zbl 1091.68597
Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja
1
2004
On differences between the real and physical plane. Zbl 1091.68666
Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja
1
2004
Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261
Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison
1
2016
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
1
1999
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004
Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby
1
1997
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.
1
1996
Will it reach the top? Prediction in the mechanics world. Zbl 0376.70001
Bundy, Alan
1
1978
Assignment methods for incidence calculus. Zbl 0820.68114
McLean, R. G.; Bundy, A.; Liu, W.
1
1995
Planning proofs of equations in CCS. Zbl 1034.68646
Monroy, Raúl; Bundy, Alan; Green, Ian
1
2000
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan
1
1997
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. Zbl 1126.68579
Steel, Graham; Bundy, Alan; Maidl, Monika
1
2004
Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261
Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison
1
2016
Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260
Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison
1
2015
Conjecture synthesis for inductive theories. Zbl 1243.68268
Johansson, Moa; Dixon, Lucas; Bundy, Alan
14
2011
Automated theorem provers: a practical tool for the working mathematician? Zbl 1237.68177
Bundy, Alan
3
2011
Case-analysis for rippling and inductive proof. Zbl 1291.68352
Johansson, Moa; Dixon, Lucas; Bundy, Alan
3
2010
Towards ontology evolution in physics. Zbl 1155.68521
Bundy, Alan; Chan, Michael
1
2008
Automating signature evolution in logical theories. Zbl 1166.68356
Bundy, Alan
1
2008
Ascertaining mathematical theorems. Zbl 1273.68324
McCasland, Roy L.; Bundy, Alan; Smith, Patrick F.
2
2006
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
26
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
6
2005
What is a proof? Zbl 1152.00305
Bundy, Alan; Jamnik, Mateja; Fugard, Andrew
3
2005
Dr.Doodle: A diagrammatic theorem prover. Zbl 1126.68584
Winterstein, Daniel; Bundy, Alan; Gurr, Corin
6
2004
An experimental comparison of diagrammatic and algebraic logics. Zbl 1091.68597
Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja
1
2004
On differences between the real and physical plane. Zbl 1091.68666
Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja
1
2004
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. Zbl 1126.68579
Steel, Graham; Bundy, Alan; Maidl, Monika
1
2004
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012
Janičić, Predrag; Bundy, Alan
4
2002
Using animation in diagrammatic theorem proving. Zbl 1049.68122
Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja
2
2002
A critique of proof planning. Zbl 1012.68180
Bundy, Alan
2
2002
On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110
Jamnik, Mateja; Bundy, Alan; Green, Ian
1
2002
The automation of proof by mathematical induction. Zbl 0994.03007
Bundy, Alan
21
2001
Applying adversarial planning techniques to Go. Zbl 0962.91011
Willmott, S.; Richardson, J.; Bundy, A.; Levine, J.
3
2001
On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621
Colton, Simon; Bundy, Alan; Walsh, Toby
6
2000
A proposal for automating diagrammatic reasoning in continuous domains. Zbl 0973.68544
Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja
1
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.
1
2000
Planning proofs of equations in CCS. Zbl 1034.68646
Monroy, Raúl; Bundy, Alan; Green, Ian
1
2000
Proofs about lists using ellipsis. Zbl 0938.03017
Bundy, Alan; Richardson, Julian
5
1999
On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008
Jamnik, Mateja; Bundy, Alan; Green, Ian
4
1999
A survey of automated deduction. Zbl 0947.03011
Bundy, Alan
3
1999
Automatic verification of functions with accumulating parameters. Zbl 0940.68023
Ireland, Andrew; Bundy, Alan
3
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
1
1999
A science of reasoning. (Extended abstract). Zbl 0913.03022
Bundy, Alan
2
1998
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004
Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby
1
1997
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan
1
1997
Productive use of failure in inductive proof. Zbl 0847.68103
Ireland, Andrew; Bundy, Alan
30
1996
Middle-out reasoning for synthesis and induction. Zbl 0847.68104
Kraan, Ina; Basin, David; Bundy, Alan
6
1996
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.
1
1996
Assignment methods for incidence calculus. Zbl 0820.68114
McLean, R. G.; Bundy, A.; Liu, W.
1
1995
Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121
Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan
29
1993
The use of proof plans to sum series. Zbl 0925.03072
Walsh, Toby; Nunes, Alex; Bundy, Alan
7
1992
Experiments with proof plans for induction. Zbl 0733.68069
Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan
11
1991
A rational reconstruction and extension of recursion analysis. Zbl 0708.68061
Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew
5
1989
The use of explicit plans to guide inductive proofs. Zbl 0656.68106
Bundy, Alan
26
1988
Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106
van Harmelen, Frank; Bundy, Alan
8
1988
Commentary on: Solving symbolic equations with PRESS. Zbl 0651.68042
Fateman, Richard; Bundy, Alan; O’Keefe, Richard; Sterling, Leon
1
1988
Correctness criteria of some algorithms for uncertain reasoning using incidence calculus. Zbl 0642.68178
Bundy, Alan
6
1986
Incidence calculus: A mechanism for probabilistic reasoning. Zbl 0615.68067
Bundy, Alan
12
1985
An analytical comparison of some rule-learning programs. Zbl 0583.68043
Bundy, Alan; Silver, Bernard; Plummer, Dave
3
1985
A generalized interval package and its use for semantic checking. Zbl 0548.65039
Bundy, Alan
2
1984
The computer modelling of mathematical reasoning. Zbl 0541.68067
Bundy, Alan
15
1983
Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Zbl 0438.68041
Bundy, Alan; Welham, Bob
5
1980
Will it reach the top? Prediction in the mechanics world. Zbl 0376.70001
Bundy, Alan
1
1978
all top 5

Cited by 323 Authors

19 Bundy, Alan
5 Hutter, Dieter
5 Johansson, Moa
5 Melis, Erica
4 Basin, David A.
4 Dixon, Lucas
4 Ireland, Andrew
4 Jamnik, Mateja
4 Jebelean, Tudor
4 Leitsch, Alexander
4 Siekmann, Jörg H.
4 Walsh, Toby
3 Benzmüller, Christoph Ewald
3 Claessen, Koen
3 Drămnesc, Isabela
3 Fuhs, Carsten
3 Giesl, Jürgen
3 Green, Ian
3 Hetzl, Stefan
3 Kerber, Manfred
3 Kolbe, Thomas H.
3 Liu, Weiru
3 Smaill, Alan
3 Smallbone, Nicholas
3 Walther, Christoph
2 Bronsard, Francois
2 Colton, Simon
2 Demba, Moussa
2 Dennis, Louise Abigail
2 Fish, Andrew
2 Friedrich, Gerhard E.
2 Ghilardi, Silvio
2 Grov, Gudmund
2 Hasker, Robert W.
2 Heeren, Bastiaan
2 Heras, Jónathan
2 Hesketh, Jane
2 Huang, Xiaorong
2 Jeuring, Johan
2 Kohlhase, Michael
2 Komendantskaya, Ekaterina
2 Kounalis, Emmanuel
2 Kramosil, Ivan
2 Kulpa, Zenon
2 Lin, Yuhui
2 Maclean, Ewen
2 Mantel, Heiko
2 Meier, Andreas
2 Parting, Michael
2 Protzen, Martin
2 Reddy, Uday S.
2 Reis, Giselle
2 Rosen, Dan
2 Schneider-Kamp, Peter
2 Sengler, Claus
2 Stapleton, Gem
2 Swiderski, Stephan
2 Urbas, Matej
2 van Harmelen, Frank
2 Voigtlander, Janis
2 Wang, Lusheng
2 Weller, Daniel S.
2 Windsteiger, Wolfgang
2 Wong, S. K. Michael
2 Yao, Yiyu
1 Adams, Andrew A.
1 Algehed, Maximilian
1 Amato, Daniela A.
1 Anai, Hirokazu
1 Arai, Noriko H.
1 Arkoudas, Konstantine
1 Armando, Alessandro
1 Arthan, Rob D.
1 Asperti, Andrea
1 Autexier, Serge
1 Avigad, Jeremy
1 Avron, Arnon
1 Baaz, Matthias
1 Barnes, Janet
1 Barnett, Richard C.
1 Barthe, Gilles
1 Bauer, Peter H.
1 Beeson, Michael J.
1 Blanchette, Jasmin Christian
1 Bouhoula, Adel
1 Boulton, Richard J.
1 Bouzy, Bruno
1 Bresina, John L.
1 Bringsjord, Selmer
1 Brotherston, James
1 Bruynooghe, Maurice
1 Bsaïes, Khaled
1 Buchberger, Bruno
1 Budzyńska, Katarzyna
1 Busch, Holger
1 Byrd, Lawrence
1 Cabrera, Inma P.
1 Cairns, Paul
1 Calude, Cristian S.
1 Carette, Jacques
...and 223 more Authors
all top 5

Cited in 51 Serials

30 Journal of Automated Reasoning
23 Artificial Intelligence
7 Theoretical Computer Science
7 Annals of Mathematics and Artificial Intelligence
6 Journal of Symbolic Computation
5 Journal of Applied Logic
4 International Journal of Approximate Reasoning
4 Formal Aspects of Computing
3 International Journal of General Systems
3 Information Sciences
3 International Journal of Intelligent Systems
3 Formal Methods in System Design
3 Mathematics in Computer Science
2 Annals of Pure and Applied Logic
2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Computers & Mathematics with Applications
1 Information Processing Letters
1 Letters in Mathematical Physics
1 Theoretical and Computational Fluid Dynamics
1 Applied Mathematics and Computation
1 Kybernetika
1 Programming and Computer Software
1
1 Synthese
1 Journal of Computer Science and Technology
1 Information and Computation
1 Applied Mathematics Letters
1 AI Communications
1 Machine Learning
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Neural Computation
1 Computational Geometry
1 Linear Algebra and its Applications
1 Archive for Mathematical Logic
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 Journal of Functional Programming
1 Journal of Inequalities and Applications
1 LMS Journal of Computation and Mathematics
1 Foundations of Science
1 Journal of Mathematical Logic
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 The Journal of Logic and Algebraic Programming
1 Theory and Practice of Logic Programming
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 The Review of Symbolic Logic
1 Journal of Formalized Reasoning
1 Journal of Logical and Algebraic Methods in Programming
1 Open Mathematics
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.