Alan Bundy
Alan Bundy
Professor of Automated Reasoning, University of Edinburgh
Verified email at ed.ac.uk - Homepage
TitleCited byYear
The use of explicit plans to guide inductive proofs
A Bundy
International conference on automated deduction, 111-120, 1988
5301988
The computer modelling of mathematical reasoning
A Bundy
Academic Press, 1983
4431983
Rippling: A heuristic for guiding inductive proofs
A Bundy, A Stevens, F Van Harmelen, A Ireland, A Smaill
Artificial intelligence 62 (2), 185-253, 1993
3571993
The OYSTER-CLAM system
A Bundy, F Van Harmelen, C Horn, A Smaill
International Conference on Automated Deduction, 647-648, 1990
3211990
Productive use of failure in inductive proof
A Ireland, A Bundy
Automated Mathematical Induction, 79-111, 1996
2211996
Experiments with proof plans for induction
A Bundy, F Van Harmelen, J Hesketh, A Smaill
Journal of Automated reasoning 7 (3), 303-324, 1991
1951991
Computational thinking is pervasive
A Bundy
Journal of Scientific and Practical Computing 1 (2), 67-69, 2007
1852007
A science of reasoning
A Bundy
International conference on automated reasoning with analytic tableaux andá…, 1998
1781998
The automation of proof by mathematical induction
A Bundy
1761999
Rippling: meta-level guidance for mathematical reasoning
A Bundy, D Basin, D Hutter, A Ireland
Cambridge University Press, 2005
1752005
Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation
A Bundy, B Welham
Artificial Intelligence 16 (2), 189-211, 1981
1721981
An analytical comparison of some rule-learning programs
A Bundy, B Silver, D Plummer
Artificial Intelligence 27 (2), 137-181, 1985
1711985
Incidence calculus: a mechanism for probabilistic reasoning
A Bundy
Journal of automated reasoning 1 (3), 263-283, 1985
1711985
Explanation-based generalisation= partial evaluation
F Van Harmelen, A Bundy
Artificial Intelligence 36 (3), 401-412, 1988
1621988
Solving mechanics problems using meta-level inference
A Bundy, L Byrd, G Luger, C Mellish, M Palmer
1501979
On the notion of interestingness in automated mathematical discovery
S Colton, A Bundy, T Walsh
International Journal of Human-Computer Studies 53 (3), 351-375, 2000
1182000
Extensions to the rippling-out tactic for guiding inductive proofs
A Bundy, F Van Harmelen, A Smaill, A Ireland
International Conference on Automated Deduction, 132-146, 1990
941990
Eco-logic: logic-based approaches to ecological modelling
D Robertson
881991
Automatic concept formation in pure mathematics
S Colton, A Bundy, T Walsh
801999
Automatic verification of design patterns in Java
A Blewitt, A Bundy, I Stark
Proceedings of the 20th IEEE/ACM international Conference on Automatedá…, 2005
792005
The system can't perform the operation now. Try again later.
Articles 1–20