Alan Bundy
University of Edinburgh(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, AI-based Problem Solving and Planning, Formal Methods in Verification
Most-Cited Works
- → Constructing Induction Rules for Deductive Synthesis Proofs(2006)2,811 cited
- → Preparing for the future of Artificial Intelligence(2016)423 cited
- Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95(1995)
- → The use of explicit plans to guide inductive proofs(2005)286 cited
- → Rippling: A heuristic for guiding inductive proofs(1993)225 cited
- → Extensions to the rippling-out tactic for guiding inductive proofs(1990)223 cited
- The Computer Modelling of Mathematical Reasoning(1983)
- → The OYSTER-CLAM system