Alan Bundy

Cited by

	All	Since 2016
Citations	9132	1223
h-index	43	15
i10-index	166	28

380

190

285

198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202123 36 41 74 101 145 125 171 179 193 243 279 341 161 261 218 283 320 249 239 257 234 312 304 304 367 277 286 289 254 282 281 249 200 176 255 254 257 225 54

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Fiona McNeillReader in Computing Education, University of EdinburghVerified email at ed.ac.uk
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
Graham SteelINRIAVerified email at cryptosense.com
Helen PainUniversity of EdinburghVerified email at inf.ed.ac.uk
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at disi.unitn.it
Weiru LiuProfessor of Artificial Intelligence, University of BristolVerified email at qub.ac.uk
Leon SterlingSwinburne University of TechnologyVerified email at swin.edu.au
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Dieter HutterGerman Research Center for Artificial IntelligenceVerified email at dfki.de
Chris MellishComputing Science, University of AberdeenVerified email at abdn.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

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	554	1988
The computer modelling of mathematical reasoning A Bundy Academic Press, 1983	457	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	369	1993
The O^YS^TER-CL^AM system A Bundy, F Van Harmelen, C Horn, A Smaill International Conference on Automated Deduction, 647-648, 1990	334	1990
Computational thinking is pervasive A Bundy Journal of Scientific and Practical Computing 1 (2), 67-69, 2007	278	2007
Productive use of failure in inductive proof A Ireland, A Bundy Automated Mathematical Induction, 79-111, 1996	236	1996
Experiments with proof plans for induction A Bundy, F Van Harmelen, J Hesketh, A Smaill Journal of Automated reasoning 7 (3), 303-324, 1991	203	1991
Rippling: meta-level guidance for mathematical reasoning A Bundy, D Basin, D Hutter, A Ireland Cambridge University Press, 2005	199	2005
The automation of proof by mathematical induction A Bundy	191	1999
A science of reasoning A Bundy International conference on automated reasoning with analytic tableaux and …, 1998	184	1998
Incidence calculus: a mechanism for probabilistic reasoning A Bundy Journal of automated reasoning 1 (3), 263-283, 1985	180	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	171	1981
Explanation-based generalisation= partial evaluation F Van Harmelen, A Bundy Artificial Intelligence 36 (3), 401-412, 1988	165	1988
An analytical comparison of some rule-learning programs A Bundy, B Silver, D Plummer Artificial Intelligence 27 (2), 137-181, 1985	163	1985
Solving mechanics problems using meta-level inference A Bundy, L Byrd, G Luger, C Mellish, M Palmer	150	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	122	2000
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	96	1990
Eco-Logic: logic-based approaches to ecological modelling D Robertson, A Bundy, R Muetzelfeldt, M Haggith, M Uschold MIT press, 1991	87	1991
Conjecture synthesis for inductive theories M Johansson, L Dixon, A Bundy Journal of Automated Reasoning 47 (3), 251-289, 2011	85	2011
Automatic concept formation in pure mathematics S Colton, A Bundy, T Walsh	83	1999

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

Upload PDF

Follow this author

Cited by

Co-authors