×
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

Publications by Year

Citations contained in zbMATH Open

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

20 Bundy, Alan
5 Hutter, Dieter
5 Jebelean, Tudor
5 Johansson, Moa
5 Melis, Erica
4 Basin, David A.
4 Dixon, Lucas
4 Drămnesc, Isabela
4 Hetzl, Stefan
4 Ireland, Andrew
4 Jamnik, Mateja
4 Leitsch, Alexander
4 Siekmann, Jörg H.
4 Walsh, Toby
3 Benzmüller, Christoph Ewald
3 Claessen, Koen
3 De Angelis, Emanuele
3 Fioravanti, Fabio
3 Fuhs, Carsten
3 Giesl, Jürgen
3 Green, Ian
3 Kerber, Manfred
3 Kolbe, Thomas H.
3 Liu, Weiru
3 Peltier, Nicolas
3 Proietti, Maurizio
3 Smaill, Alan
3 Smallbone, Nicholas
3 Walther, Christoph
2 Bronsard, Francois
2 Caferra, Ricardo
2 Colton, Simon
2 Demba, Moussa
2 Dennis, Louise Abigail
2 Fish, Andrew
2 Friedrich, Gerhard E.
2 Ghilardi, Silvio
2 Giunchiglia, Fausto
2 Grov, Gudmund
2 Hamami, Yacin
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 Lisitsa, Alexei P.
2 Maclean, Ewen
2 Mantel, Heiko
2 Meier, Andreas
2 Parting, Michael
2 Pettorossi, Alberto
2 Popescu, Andrei
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 Traytel, Dmitry
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 Abourbih, Jonathan A.
1 Adams, Andrew A.
1 Algehed, Maximilian
1 Amato, Daniela A.
1 Ammon, Kurt
1 Anai, Hirokazu
1 Arai, Noriko H.
1 Aravantinos, Vincent
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 Bäckström, Christer
1 Barnes, Janet
1 Barnett, Richard C.
1 Barthe, Gilles
1 Bauer, Peter H.
1 Beeson, Michael J.
1 Bensaid, Hicham
1 Blanchette, Jasmin Christian
...and 255 more Authors
all top 5

Cited in 52 Serials

31 Journal of Automated Reasoning
26 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 Annals of Pure and Applied Logic
3 International Journal of Intelligent Systems
3 Formal Methods in System Design
3 Mathematics in Computer Science
2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2 The Review of Symbolic Logic
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 The Journal of Artificial Intelligence Research (JAIR)
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 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

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