Alan Bundy - Concepedia

Author

Alan Bundy

University of Edinburgh ORCID

Also Known As

A Bundy, A. Bundy, ALAN BUNDY, Alan Bundy, Alan R. Bundy, Amy Bundy, Bundy Alan, Bundy, Alan, Bundy, Alan R.

656

Publications

10K

Citations

H-Index

111

Concepts

All Affiliations

University of Edinburgh

About

Alan Bundy is an author at University of Edinburgh specializing in engineering, automated reasoning, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	24	46	5.4K
2	Language Studies	3	3	212
3	Business	2	2	27
4	Education	1	1	10
5	Humanities	1	1	19

Alan Bundy

Publications

6.3K

Citations

H-Index

Page 1

	Year	Citations
Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy, Lucas Dixon, Jeremy Gow, Electronic Notes in Theoretical Computer Science Formal SpecificationEngineeringAutomated ReasoningProgram AnalysisInduction Rules	2006	2.8K
Preparing for the future of Artificial Intelligence Alan Bundy AI & Society Artificial IntelligenceAi ArchitectureEngineeringArtificial General IntelligenceComputer Science	2016	422
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95 Alan Bundy, Vincent Lombart Artificial IntelligenceAi ArchitectureEngineeringMachine LearningArtificial General Intelligence	1995	361
Rippling: A heuristic for guiding inductive proofs Alan Bundy, Andrew Stevens, Frank van Harmelen, Artificial Intelligence EngineeringAutomated ReasoningProof ComplexityVerificationInductive Proofs	1993	225
Productive use of failure in inductive proof Andrew Ireland, Alan Bundy Journal of Automated Reasoning ReliabilityReliability EngineeringEngineeringProductive UseAutomated Reasoning	1996	163
Proceedings of AAAI-96 Alan Bundy, F. Giunchiglia, R. Sebastiani, Specification (Technical Standard)International LawLawTechnology Law	1996	128
An analytical comparison of some rule-learning programs Alan Bundy, Bernard Silver, Dave Plummer Artificial Intelligence EngineeringMachine LearningAnalytical ComparisonData MiningAutomated Reasoning	1985	123
Experiments with proof plans for induction Alan Bundy, Frank van Harmelen, Jane Hesketh, Journal of Automated Reasoning EngineeringAutomated ReasoningVerificationFormal MethodsProof Assistant	1991	113
Explanation-based generalisation = partial evaluation Frank van Harmelen, Alan Bundy Artificial Intelligence EngineeringExplanation-based LearningAutomated ReasoningComputational LinguisticsFormal Methods	1988	102
Incidence calculus: A mechanism for probabilistic reasoning Alan Bundy Journal of Automated Reasoning Probabilistic OntologyProbability LogicAutomated ReasoningProbabilistic ReasoningIncidence Calculus	1985	100

Page 1