What is he best known for?
The fields of study he is best known for:
- Artificial intelligence
- Programming language
- Law
His primary scientific interests are in Automated theorem proving, Programming language, Mathematical proof, Artificial intelligence and Calculus.
His work deals with themes such as Discrete mathematics, Proof assistant, Mathematical induction and Program synthesis, which intersect with Automated theorem proving.
His Programming language research incorporates themes from Inference and Notation.
The concepts of his Mathematical proof study are interwoven with issues in Generator, Automatic programming, Rippling and Pure mathematics.
His Rippling research includes elements of Algorithm and Recursion.
His Artificial intelligence study incorporates themes from Mathematical reasoning, Joint, Performing arts and Association.
His most cited work include:
- Constructing Induction Rules for Deductive Synthesis Proofs (2862 citations)
- The Use of Explicit Plans to Guide Inductive Proofs (276 citations)
- Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95 (249 citations)
What are the main themes of his work throughout his whole career to date?
His scientific interests lie mostly in Artificial intelligence, Programming language, Publishing, Project commissioning and Mathematical proof.
His works in Prolog, Logic programming and Automated reasoning are all subjects of inquiry into Programming language.
Alan Bundy has included themes like Public relations and Reading in his Publishing study.
His Project commissioning research is multidisciplinary, incorporating perspectives in Engineering management and Library science.
The Mathematical proof study combines topics in areas such as Automated theorem proving, Rippling and Calculus.
His Automated theorem proving study frequently links to related topics such as Discrete mathematics.
He most often published in these fields:
- Artificial intelligence (17.04%)
- Programming language (14.15%)
- Publishing (13.50%)
What were the highlights of his more recent work (between 2007-2020)?
- Project commissioning (13.02%)
- Publishing (13.50%)
- Artificial intelligence (17.04%)
In recent papers he was focusing on the following fields of study:
The scientist’s investigation covers issues in Project commissioning, Publishing, Artificial intelligence, Ontology and Automated reasoning.
His Publishing research is multidisciplinary, incorporating elements of Library classification and Public administration.
His Artificial intelligence study combines topics in areas such as Automated theorem proving, Cognitive science and Natural language processing.
His work carried out in the field of Automated theorem proving brings together such families of science as Formal methods and Proof assistant.
His Automated reasoning research integrates issues from Discrete mathematics, Development, Mathematical proof, Knowledge management and Focus.
His Mathematical proof course of study focuses on Algorithm and Calculus.
Between 2007 and 2020, his most popular works were:
- Towards Ontology Evolution in Physics (117 citations)
- Conjecture Synthesis for Inductive Theories (74 citations)
- Preparing for the future of Artificial Intelligence (63 citations)
In his most recent research, the most cited papers focused on:
- Artificial intelligence
- Programming language
- Law
Alan Bundy spends much of his time researching Artificial intelligence, Automated theorem proving, Theoretical computer science, Ontology and Proof assistant.
His Artificial intelligence research is multidisciplinary, relying on both Performing arts, Machine learning, Link and Pure mathematics.
His Automated theorem proving study is concerned with the field of Programming language as a whole.
His Theoretical computer science study deals with Formal methods intersecting with Software development process, Formal specification and Software development.
His study on Proof assistant is covered under Mathematical proof.
His biological study spans a wide range of topics, including Algorithm, Lemma and Rippling.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
