The use of explicit plans to guide inductive proofs A Bundy 9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988 | 581 | 1988 |
The computer modelling of mathematical reasoning A Bundy Academic Press, 1983 | 515 | 1983 |
Computational thinking is pervasive A Bundy Journal of Scientific and Practical Computing 1 (2), 67-69, 2007 | 453 | 2007 |
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 | 394 | 1993 |
The OYSTER-CLAM system A Bundy, F Van Harmelen, C Horn, A Smaill 10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990 | 367 | 1990 |
Catalogue of artificial intelligence tools A Bundy Catalogue of Artificial Intelligence Tools, 7-161, 1986 | 361* | 1986 |
Productive use of failure in inductive proof A Ireland, A Bundy Automated Mathematical Induction, 79-111, 1996 | 262 | 1996 |
Rippling: meta-level guidance for mathematical reasoning A Bundy Cambridge University Press, 2005 | 217 | 2005 |
The automation of proof by mathematical induction A Bundy | 209 | 1999 |
Experiments with proof plans for induction A Bundy, F Van Harmelen, J Hesketh, A Smaill Journal of Automated reasoning 7, 303-324, 1991 | 209 | 1991 |
Preparing for the future of artificial intelligence A Bundy Ai & Society 32, 285-287, 2017 | 208 | 2017 |
Incidence calculus: a mechanism for probabilistic reasoning A Bundy Journal of automated reasoning 1, 263-283, 1985 | 203 | 1985 |
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 | 200 | 1981 |
A science of reasoning A Bundy International conference on automated reasoning with analytic tableaux and …, 1998 | 198 | 1998 |
Explanation-based generalisation= partial evaluation F Van Harmelen, A Bundy Artificial Intelligence 36 (3), 401-412, 1988 | 190 | 1988 |
An analytical comparison of some rule-learning programs A Bundy, B Silver, D Plummer Artificial Intelligence 27 (2), 137-181, 1985 | 187 | 1985 |
Solving mechanics problems using meta-level inference A Bundy, L Byrd, G Luger, C Mellish, M Palmer | 172 | 1979 |
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 | 130 | 2000 |
Conjecture synthesis for inductive theories M Johansson, L Dixon, A Bundy Journal of automated reasoning 47, 251-289, 2011 | 103 | 2011 |
Extensions to the rippling-out tactic for guiding inductive proofs A Bundy, F Van Harmelen, A Smaill, A Ireland 10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990 | 99 | 1990 |