Alan Bundy

Cited by

	All	Since 2020
Citations	10839	1516
h-index	46	15
i10-index	178	30

420

210

105

315

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025127 159 155 194 225 201 262 279 399 166 284 221 269 302 249 253 263 247 329 331 293 406 277 296 283 256 285 296 263 200 178 251 264 291 210 351 317 285 330 22

Public access

View all

17 articles

2 articles

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 RobertsonProfessor of Applied Logic, University of EdinburghVerified email at inf.ed.ac.uk
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Graham SteelINRIAVerified email at cryptosense.com
Helen PainUniversity of EdinburghVerified email at inf.ed.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
Chris MellishComputing Science, University of AberdeenVerified email at abdn.ac.uk
Weiru LiuProfessor of Artificial Intelligence, University of BristolVerified email at bristol.ac.uk
Raul MonroyProfessor of Computer Science, Tecnologico de Monterrey, Campus Estado de MexicoVerified email at tec.mx
Jon WhittleCSIRO's Data61Verified email at data61.csiro.au
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
Dieter HutterGerman Research Center for Artificial IntelligenceVerified email at dfki.de
Geraint WigginsProfessor of Computational Creativity, Vrije Universiteit Brussel / Queen Mary University of LondonVerified email at vub.ac.be
Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk

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 9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988	582	1988
The computer modelling of mathematical reasoning A Bundy Academic Press, 1983	522	1983
Computational thinking is pervasive A Bundy Journal of Scientific and Practical Computing 1 (2), 2007	480	2007
Catalogue of artificial intelligence tools A Bundy Catalogue of Artificial Intelligence Tools, 7-161, 1986	408*	1986
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	402	1993
The O^YS^TER-CL^AM system A Bundy, F Van Harmelen, C Horn, A Smaill 10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990	367	1990
Productive use of failure in inductive proof A Ireland, A Bundy Automated Mathematical Induction, 79-111, 1996	265	1996
Preparing for the future of artificial intelligence A Bundy Ai & Society 32, 285-287, 2017	237	2017
Rippling: meta-level guidance for mathematical reasoning A Bundy Cambridge University Press, 2005	218	2005
The automation of proof by mathematical induction A Bundy	213	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
A science of reasoning A Bundy International conference on automated reasoning with analytic tableaux and …, 1998	202	1998
Incidence calculus: a mechanism for probabilistic reasoning A Bundy Journal of automated reasoning 1, 263-283, 1985	202	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	201	1981
Explanation-based generalisation= partial evaluation F Van Harmelen, A Bundy Artificial Intelligence 36 (3), 401-412, 1988	191	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 Proceedings of the 6th international joint conference on Artificial …, 1979	174	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	129	2000
Conjecture synthesis for inductive theories M Johansson, L Dixon, A Bundy Journal of automated reasoning 47, 251-289, 2011	105	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	97	1990

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