Concepedia

Alan Bundy

AB

Statistics

Publications

76

Citations

6.3K

H-Index

29

Active since

1973

Affiliations

University of Edinburgh(Current)

Alan Bundy is an author at University of Edinburgh specializing in computer science, computing, and formal methods.

Publications per year

1973–2025

76

Publications

76

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

Preparing for the future of Artificial Intelligence

Alan Bundy · AI & Society · 2016 · 428 citations · Full text

Computing, Computer Science, Artificial Intelligence +11

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95

Alan Bundy, Vincent Lombart · 1995 · 361 citations

Computing, Computer Science, Artificial Intelligence +9

Rippling: A heuristic for guiding inductive proofs

Alan Bundy, Andrew Stevens, Frank van Harmelen et al. · Artificial Intelligence · 1993 · 226 citations · Full text

Computing, Computer Science, Algorithms +11

Productive use of failure in inductive proof

Andrew Ireland, Alan Bundy · Journal of Automated Reasoning · 1996 · 164 citations · Full text

Computing, Computer Science, Mathematics +12

1–5 of 76