Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Alan Bundy | Researchclopedia

Back to researchers

Alan Bundy

University of Edinburgh ORCID

656

Works

9,999

Citations

38

h-index

133

i10-index

Research Topics

Logic, programming, and type systems Logic, Reasoning, and Knowledge Semantic Web and Ontologies

Affiliations

Max Planck Society1992–1996

Universities UK1990–1990

University of Washington1981–1981

University of Exeter1990–1990

University of Cambridge2004–2004

Top Works

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy,Lucas Dixon,et al.

20062,811 citations

AI-based Problem Solving and Planning

Formal Methods in Verification

Preparing for the future of Artificial Intelligence

2016423 citations

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

Alan Bundy,Vincent Lombart

1995361 citations

The use of explicit plans to guide inductive proofs

2005286 citations

Rippling: A heuristic for guiding inductive proofs

Alan Bundy,Andrew Stevens,et al.

1993225 citations

Extensions to the rippling-out tactic for guiding inductive proofs

Alan Bundy,Frank van Harmelen,et al.

1990223 citations

The Computer Modelling of Mathematical Reasoning

1983210 citations

The OYSTER-CLAM system

Alan Bundy,Frank van Harmelen,et al.

1990189 citations

Productive use of failure in inductive proof

Andrew Ireland,Alan Bundy

1996163 citations