Alan Bundy

Cited by

	All	Since 2017
Citations	9769	1490
h-index	44	16
i10-index	165	31

400

200

100

300

198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202239 44 83 112 148 138 173 198 198 262 278 393 166 255 219 273 328 252 243 266 223 311 310 309 372 279 289 289 255 285 289 250 204 175 242 261 287 204 331 165

Public access

View all

11 articles

1 article

available

not available

Based on funding mandates

Co-authors

Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
Fiona McNeillReader in Computing Education, University of EdinburghVerified email at ed.ac.uk
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
David RobertsonProfessor of Applied Logic, University of EdinburghVerified email at inf.ed.ac.uk
Helen PainUniversity of EdinburghVerified email at inf.ed.ac.uk
Graham SteelINRIAVerified email at cryptosense.com
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at disi.unitn.it
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
Dieter HutterGerman Research Center for Artificial IntelligenceVerified email at dfki.de
Weiru LiuProfessor of Artificial Intelligence, University of BristolVerified email at qub.ac.uk
Chris MellishComputing Science, University of AberdeenVerified email at abdn.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Raul MonroyProfessor of Computer Science, Tecnologico de Monterrey, Campus Estado de MexicoVerified email at tec.mx
John LevineSenior Lecturer, University of StrathclydeVerified email at strath.ac.uk
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of BelgradeVerified email at matf.bg.ac.rs
Jon WhittleCSIRO's Data61Verified email at data61.csiro.au
Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Geraint WigginsProfessor of Computational Creativity, Vrije Universiteit Brussel / Queen Mary University of LondonVerified email at vub.ac.be

Alan Bundy

Professor of Automated Reasoning, University of Edinburgh

Verified email at ed.ac.uk - Homepage

Artificial Intelligence Automated Reasoning Formal Methods Ontology Evolution


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The use of explicit plans to guide inductive proofs A Bundy International conference on automated deduction, 111-120, 1988	567	1988
The computer modelling of mathematical reasoning A Bundy Academic Press, 1983	476	1983
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	381	1993
Computational thinking is pervasive A Bundy Journal of Scientific and Practical Computing 1 (2), 67-69, 2007	360	2007
The O^YS^TER-CL^AM system A Bundy, F Harmelen, C Horn, A Smaill International Conference on Automated Deduction, 647-648, 1990	344	1990
Catalogue of artificial intelligence tools A Bundy Catalogue of Artificial Intelligence Tools, 7-161, 1986	273*	1986
Productive use of failure in inductive proof A Ireland, A Bundy Automated Mathematical Induction, 79-111, 1996	240	1996
A science of reasoning A Bundy International conference on automated reasoning with analytic tableaux and …, 1998	207	1998
Experiments with proof plans for induction A Bundy, F Van Harmelen, J Hesketh, A Smaill Journal of Automated reasoning 7 (3), 303-324, 1991	206	1991
Rippling: meta-level guidance for mathematical reasoning A Bundy, D Basin, D Hutter, A Ireland Cambridge University Press, 2005	205	2005
The automation of proof by mathematical induction A Bundy	197	1999
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	190	1981
Incidence calculus: a mechanism for probabilistic reasoning A Bundy Journal of automated reasoning 1 (3), 263-283, 1985	180	1985
Explanation-based generalisation= partial evaluation F Van Harmelen, A Bundy Artificial Intelligence 36 (3), 401-412, 1988	178	1988
Solving mechanics problems using meta-level inference A Bundy, L Byrd, G Luger, C Mellish, M Palmer	170	1979
An analytical comparison of some rule-learning programs A Bundy, B Silver, D Plummer Artificial Intelligence 27 (2), 137-181, 1985	160	1985
Preparing for the future of artificial intelligence A Bundy Ai & Society 32 (2), 285-287, 2017	135	2017
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	125	2000
Extensions to the rippling-out tactic for guiding inductive proofs A Bundy, F Harmelen, A Smaill, A Ireland International Conference on Automated Deduction, 132-146, 1990	96	1990
Conjecture synthesis for inductive theories M Johansson, L Dixon, A Bundy Journal of automated reasoning 47 (3), 251-289, 2011	93	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors