Alan Bundy

Q: What Schools Are Affiliated With Alan Bundy

Alan Bundy is affiliated with the following schools: University of Leicester, University of Edinburgh

Alan Bundy's AcademicInfluence.com Rankings

Alan Bundy

Computer Science

#1015

World Rank

#1052

Historical Rank

Artificial Intelligence

#144

World Rank

#147

Historical Rank

Database

#1177

World Rank

#1238

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Alan Bundy Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.

(See a Problem?)

Alan Bundy's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Constructing Induction Rules for Deductive Synthesis Proofs (2006) (2788)
Dynamic Time Warping (1984) (559)
The Use of Explicit Plans to Guide Inductive Proofs (1988) (469)
Rippling: A Heuristic for Guiding Inductive Proofs (1993) (325)
Preparing for the future of Artificial Intelligence (2017) (304)
The Oyster-Clam System (1990) (270)
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes (1995) (258)
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs (1990) (250)
The Computer Modelling of Mathematical Reasoning (1983) (188)
Rippling - meta-level guidance for mathematical reasoning (2005) (184)
Automated Deduction—CADE-11 (1992) (181)
Computational Thinking is Pervasive (2007) (179)
The Automation of Proof by Mathematical Induction (1999) (174)
A Science of Reasoning (1991) (152)
Edinburgh Research Explorer The Paradox of the Case Study (2009) (151)
Logic Program Synthesis via Proof Planning (1992) (139)
Proceedings of AAAI-96 (1996) (138)
An Analytical Comparison of Some Rule-Learning Programs (1985) (131)
Towards Ontology Evolution in Physics (2008) (130)
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation (1980) (129)
On the notion of interestingness in automated mathematical discovery (2000) (124)
Explanation-Based Generalisation = Partial Evaluation (1988) (117)
Truth Maintenance System (1984) (111)
Solving mechanics problems using meta-level inference (1979) (111)
Conjecture Synthesis for Inductive Theories (2011) (103)
Automated Deduction — CADE-12 (1994) (96)
Theorem Proving in Higher Order Logics (1998) (95)
Symbolic and Quantitative Approaches to Reasoning and Uncertainty (1993) (85)
Meta-Level Inference and Program Verification (1982) (85)
Proofs About Lists Using Ellipsis (1999) (76)
What is a proof? (2005) (75)
Experiments with proof plans for induction (1991) (74)
Proceedings of the Eighth International Joint Conference on Artificial Intelligence (1983) (72)
Eco-Logic - Logic-Based Approaches to Ecological Modeling (1991) (71)
Automatic Concept Formation in Pure Mathematics (1999) (70)
Depth-First Search (1984) (70)
Automatic verification of design patterns in Java (2005) (66)
Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution (2007) (65)
A Rational Reconstruction and Extension of Recursion Analysis (1989) (65)
Turning eureka steps into calculations in automatic program synthesis (1990) (64)
On Automating Diagrammatic Proofs of Arithmetic Arguments (1999) (62)
Solving Symbolic Equations with PRESS (1982) (61)
Doing Arithmetic with Diagrams (1973) (59)
The Synthesis of Logic Programs from Inductive Proofs (1990) (58)
The Nature of Mathematical Proof (2005) (57)
The Use of Proof Plans to Sum Series (1992) (53)
Proceedings of the Eighth International Joint Conference on Artificial Intelligence : IJCAI-83, 8-12 August 1983, Karlsruhe, West Germany (1983) (48)
An Interface between Clam and HOL (1998) (46)
Scheme-based theorem discovery and concept invention (2012) (45)
Middle-Out Reasoning for Logic Program Synthesis (1993) (45)
Middle-out reasoning for synthesis and induction (1996) (44)
What stories should we tell novice PROLOG programmers (1987) (44)
A Survey of Automated Deduction (1999) (40)
Prolog programming techniques (1991) (39)
Incidence calculus: A mechanism for probabilistic reasoning (1985) (38)
Automatic Invention of Integer Sequences (2000) (37)
Automatic Identification of Mathematical Concepts (2000) (36)
Intelligent Front Ends (1984) (36)
Automatic verification of Java design patterns (2001) (36)
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing (2008) (35)
Artificial Intelligence Techniques (1997) (34)
Will it Reach the Top? Prediction in the Mechanics World (1978) (34)
Proceedings of the 12th International Conference on Automated Deduction (1994) (33)
Coloured Rippling: An Extension of a Theorem Proving Heuristic (1994) (32)
Experiments in Automating Hardware Verification Using Inductive Proof Planning (1996) (32)
Automatic verification of functions with accumulating parameters (1999) (32)
Proof Plans for the Correction of False Conjectures (1994) (31)
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA (2000) (31)
Extensions to a Generalization Critic for Inductive Proof (1996) (31)
Automated Discovery of Inductive Theorems (2007) (31)
Breadth-First Search (1984) (31)
Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99 (1999) (30)
Ascertaining Mathematical Theorems (2006) (30)
Case-Analysis for Rippling and Inductive Proof (2010) (29)
An Adaptation of Proof-Planning to Declarer Play in Bridge (1992) (29)
Representation as a Fluent: An AI Challenge for the Next Half Century (2006) (29)
A recursive techniques editor for Prolog (1991) (29)
An Intelligent Front End for Ecological Modelling (1984) (28)
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs (1992) (28)
What is the difference between real creativity and mere novelty? (1994) (28)
A Critique of Proof Planning (2002) (27)
Finding Counterexamples to Inductive Conjectures and Discovering Security Protocol Attacks (2002) (26)
The use of prolog for improving the rigour and accessibility of ecological modelling (1989) (26)
MECHO: A program to solve mechanics problems (1979) (26)
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures (2005) (25)
An Adversarial Planning Approach to Go (1998) (25)
Automated theorem provers: a practical tool for the working mathematician? (2011) (25)
Catalogue of Artificial Intelligence Tools (1984) (24)
A Critical Survey of Rule Learning Programs (1982) (24)
MATHsAiD: A Mathematical Theorem Discovery Tool (2006) (24)
Spatial Frequency Channels (1984) (24)
Encyclopedia of E-Business Development and Management in the Global Economy (2010) (22)
Special Purpose, but Domain Independent, Inference Mechanisms (1982) (22)
The Use of Proof Plans for Normalization (1991) (22)
A General Setting for Flexibly Combining and Augmenting Decision Procedures (2002) (22)
The Foundations of Artificial Intelligence (1990) (22)
The interaction of representation and reasoning (2013) (22)
Dr.Doodle: A Diagrammatic Theorem Prover (2004) (21)
Meta-Level Inference (1984) (21)
Reasoning with Context in the Semantic Web (2012) (21)
The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface (1989) (21)
How to improve the reliability of expert systems (1988) (20)
Incresing the Versatility of Heuristic Based Theorem Provers (1993) (20)
Applying adversarial planning techniques to Go (2001) (20)
Using Animation in Diagrammatic Theorem Proving (2002) (20)
Contrast Sensitivity Function (1984) (19)
AI's greatest trends and controversies (2000) (19)
Computational Logic: Logic Programming and Beyond (2002) (19)
Attacking Group Multicast Key Management Protocols Using Coral (2005) (19)
Proof Planning (1996) (18)
Programming tools for Prolog environments (1987) (18)
A framework for program development based on schematic proof (1993) (18)
Agent Based Cooperative Theory Formation in Pure Mathematics (2000) (18)
An ML editor based on proofs-as-programs (1999) (18)
Scheme-Based Synthesis of Inductive Theories (2010) (18)
Proceedings of the 4th international joint conference on Artificial Intelligence (1975) (17)
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures (2004) (17)
Calculating Criticalities (1996) (17)
Difference of Gaussians (1984) (17)
What kind of field is AI (1990) (17)
Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs (1997) (17)
Combining Knowledge and Search to Solve Single-Suit Bridge (2000) (16)
Image Data Structures (1984) (16)
MECHO, Year one (1976) (16)
The Use of Proof Planning for Co-operative Theorem Proving (1998) (16)
Cooperating Reasoning Processes: More than Just the Sum of Their Parts (2007) (15)
A Broader Interpretation of Logic in Logic Programming (1988) (15)
Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus (1986) (15)
Best-First Rippling (2006) (15)
Smart machines are not a threat to humanity (2017) (15)
-mkrp: a Proof Development Environment (1994) (15)
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery (2010) (14)
A generalized interval package and its use for semantic checking (1984) (14)
Artificial Intelligence Techniques: A Comprehensive Catalogue (1996) (14)
A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence (1994) (14)
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers (1999) (14)
A proposed prolog story (1986) (14)
Discovery and Reasoning in Mathematics (1985) (13)
Proof planning for maintainable configuration systems (1998) (13)
Using failure to guide inductive proof (1992) (13)
A Higher Order Approach to Ontology Evolution in Physics (2013) (13)
Meta-level inference in Algebra (1981) (13)
Analyzing mathematical proofs (or reading between the lines) (1975) (12)
The researchers' bible (1985) (12)
Automation of Diagrammatic Reasoning (1997) (12)
Automated Reasoning in the Age of the Internet (2018) (12)
Artificial intelligence : an introductory course (1978) (12)
Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof (1991) (12)
Eco: An Intelligent Front End for Ecological Modelling (1985) (12)
Definite Clause Grammars (1984) (12)
Adversarial Planning in Complex Domains (1998) (12)
The ECO browser (1986) (12)
Catalogue of Artificial Intelligence Techniques (1990) (11)
Relational Rippling: A General Approach (1995) (11)
A Comparison of Decision Procedures in Presburger Arithmetic (1997) (11)
Learning from Experts to Aid the Automation of Proof Search. (2009) (11)
An overview of Prolog debugging tools (1991) (11)
MATHsAiD: Automated mathematical theory exploration (2017) (11)
Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29 - July 2, 2000 (2000) (11)
Dempster-Shafer Theory (1984) (11)
Planning from rich ontologies through translation betweeen representations (2005) (11)
Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL (2003) (10)
Proof Planning and Industrial Configuration (1997) (10)
Harnessing the power of folksonomies for formal ontology matching on-the-fly (2010) (10)
Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit (2015) (10)
An Editor for Helping Novices to Learn Standard ML (1997) (10)
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems (1995) (10)
Planning and Patching Proof (2004) (10)
ABC Repair System for Datalog-like Theories (2018) (10)
Tutorial Notes: Reasoning about Logic Programs (1992) (10)
Functional Inferences over Heterogeneous Data (2016) (10)
Benefits and risks of knowledge-based systems (1989) (9)
Planning as Deductive Synthesis in Intuitionistic Linear Logic (2006) (9)
Typed meta-interpretive learning for proof strategies (2015) (9)
System Description: An Interface Between CLAM and HOL (1998) (9)
Proof Planning Methods as Schemas (1999) (9)
On Repairing Reasoning Reversals via Representational Refinements (2006) (9)
Merging Stories with Shallow Semantics (2006) (9)
The Combination of Different Pieces of Evidence Using Incidence Calculus (1992) (9)
Analysing Mathematical Proofs (Or Reading Between the Lines) (1975) (9)
Proceedings of the UK e-Science All Hands Meeting 2006 (2006) (9)
Reformation: A Domain-Independent Algorithm for Theory Repair (2016) (9)
An Automatic Translator from KIF to PDDL (2004) (9)
Cross Domain Mathematical Concept Formation (2000) (9)
Raising the Standards of AI Products (1985) (9)
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof (1991) (8)
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts (2001) (8)
Where's My Stu? An Ontology Repair Plan (2007) (8)
Homogenization: Preparing Equations for Change of Unknown (1981) (8)
The nature of AI principles (1990) (8)
OpenKnowledge Deliverable 3.1.: Dynamic Ontology Matching: a Survey (2006) (8)
Planning and Proof Planning (1996) (8)
English summaries of mathematical proofs (2004) (8)
Computing Abstraction Hierarchies by Numerical Simulation (1996) (8)
Diagnosing and Repairing Ontological Mismatches (2004) (8)
Deductive synthesis of workflows for e-Science (2005) (8)
Plan Execution Failure Analysis Using Plan Deconstruction (2003) (8)
The Design of the CADE-16 Inductive Theorem Prover Contest (1999) (8)
Inconstancy: An Ontology Repair Plan for Adding Hidden Variables (2008) (7)
What Is the Well-Dressed AI Educator Wearing Now? (1982) (7)
Towards the Automatic Detection and Correction of Errors in Automatically Constructed Ontologies (2012) (7)
Using the Method of Fibres in Mecho to Calculate Radii of Gyration (1983) (7)
A Science of Reasoning (Extended Abstract) (1998) (7)
Proceedings of the 11th International ISCRAM Conference (2014) (7)
Using Matching in Algebraic Equation Solving (1981) (7)
Facilitating Agent Communication through Detecting, Diagnosing and Refining Ontological Mismatch (2004) (7)
The Nature of AI: A Reply to Schank (1983) (7)
A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs (1990) (7)
Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic (2009) (7)
AI meets Formal Software Development (Dagstuhl Seminar 12271) (2012) (7)
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains (2000) (7)
Improving Dynamic Information Exchange in Emergency Response Scenarios (2017) (7)
Higher-order Representation and Reasoning for Automated Ontology Evolution (2010) (7)
Boyer-Moore Theorem Prover (1984) (6)
A Very Mathematical Dilemma (2006) (6)
Solving guesstimation problems using the Semantic Web: Four lessons from an application (2015) (6)
Extensions to the Estimation Calculus (1999) (6)
An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically (2009) (6)
Planning equational verification in CCS (1998) (6)
A Science of Reasoning: Extended Abstract (1990) (6)
Proof Planning and Configuration (1996) (6)
Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science (2000) (6)
Meta-level Inference and Consciousness (1984) (6)
PG Tips: A Recommender System for an Interactive Theorem Prover (2006) (6)
Why Ontology Evolution is Essential in Modeling Scientific Discovery (2008) (6)
Linear Predictive Coding (1984) (6)
Exploiting the properties of functions to control search (1977) (6)
The Foundations of Artiﬁcial Intelligence (1990) (6)
Poof Analysis: A technique for Concept Formation (1987) (6)
Proving properties of logic programs: A Progress Report (1988) (6)
Planning Proofs of Equations in CCS (2000) (6)
Variable-Valued Logic (1984) (5)
Explainable Inference in the FRANK Query Answering System (2020) (5)
The Use of Rippling to Automate Event-B Invariant Preservation Proofs (2012) (5)
Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition (2015) (5)
Creating a new generation of computational thinkers (2015) (5)
An Intelligent Tutoring System for Induction Proofs (2000) (5)
Supporting Programming by Analogy in the Learning of Functional Programming Languages (1997) (5)
Calculating Error Bars on Inferences from Web Data (2018) (5)
An Experimental Comparison of Diagrammatic and Algebraic Logics (2004) (5)
Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’ (2005) (5)
Benchmarking methodology for good enough answers (2008) (5)
The IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development (2004) (5)
Ideas for a high-level proof strategy language (2010) (5)
Proceedings of the Tenth International Conference on Logic Programming (1993) (5)
Isacosy: Synthesis of Inductive Theorems (2009) (5)
Computer-Aided Construction of Ecological Simulation Models (1987) (5)
Dynamic data sharing for facilitating communication during emergency responses (2014) (5)
Synthesis of Simulation Models from High Level Specifications (1987) (5)
Automating Event-B invariant proofs by rippling and proof patching (2019) (5)
On Differences between the Real and Physical Plane (2004) (5)
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation (2010) (5)
On the Relations between Incidence Calculus and ATMS (1993) (5)
Automated Reasoning about Context and Ontology Evolution (2011) (5)
The Use of Max-Sat for Optimal Choice of Automated Theory Repairs (2020) (5)
Automating the synthesis of decision procedures in a constructive metatheory (1998) (5)
Proceedings of the International Joint Conference on Artificial Intelligence 2007 (2007) (5)
Meta-level inference: Two applications (1988) (5)
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic (2007) (4)
Lightweight Formalisation in Support of Requirements Engineering (1998) (4)
Altering the description space for focussing (1986) (4)
Handbook of Automated Reasoning (2001) (4)
On the Correction of Faulty Formulae (2001) (4)
Rippling Meta-Level Guidance for Mathematical Reasoning: Definitions of functions used in this book (2005) (4)
Assignment methods for incidence calculus (1995) (4)
What has learning got to do with expert systems (1984) (4)
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings (1994) (4)
GALILEO: A System for Automating Ontology Evolution (2011) (4)
Using the CORAL System to Discover Attacks on Security Protocols (2004) (4)
Proceedings of Expert Systems '87 on Research and Development in Expert Systems IV (1987) (4)
Selected Essays of Wilson Harris (2005) (4)
Constructing probabilistic ATMSs using extended incidence calculus (1996) (4)
`Semantic procedure' is an oxymoron (1993) (4)
Using Ecological Descriptions to Guide the Construction of Simulation Programs (1988) (4)
An Experimental Comparison of Rippling and Exhaustive Rewriting (1996) (4)
Functional Data Model (1984) (4)
General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving (1993) (4)
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version) (2015) (4)
Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer (2006) (4)
Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving (1978) (4)
The Theory Behind TheoryMine (2010) (4)
Helping inexperienced users to construct simulation programs: an overview of the ECO project (1988) (4)
Breadth-First Parsing (1984) (3)
Alpha/Beta Pruning (1984) (3)
LEKG: A System for Constructing Knowledge Graphs from Log Extraction (2021) (3)
High-Emphasis Filtering (1984) (3)
The Use of Classification in Automated Mathematical Concept Formation (1997) (3)
HR: A System for Machine Discovery in Finite Algebras (1998) (3)
Dependency Directed Backtracking (1984) (3)
REVIEWS-Rippling: Meta-level guidance for mathematical reasoning (2006) (3)
Theorem Proving in Higher Order Logics (2004) (3)
Automating reasoning support for design (1996) (3)
Searching for a Solution to Program Verification=Equation Solving in CCS (2000) (3)
The nature of AI principles: a debate in the AISB Quarterly (1990) (3)
The Method of Assigning Incidences (1998) (3)
Cognitive Psychology Learning and Problem Solving (2000) (3)
Formalising Term Synthesis for Isacosy (2010) (3)
An Incompleteness Theorem via Abstraction (1996) (3)
Portable Standard LISP (1984) (3)
Using domain lexicon and grammar for ontology matching (2020) (3)
Strict General Setting for Building Decision Procedures into Theorem Provers (2001) (3)
PAP97: Proceedings of the Fifth International Conference on the Practical Application of PROLOG (1997) (3)
Rippling: a heuristic inductive proofs for guiding (1993) (3)
A Small Experiement in Event-b Rippling (2011) (3)
A program to solve mechanics problems stated in English (1975) (3)
Essays in Honour of Woody Bledsoe (1991) (3)
Constructing, Selecting and Repairing Representations of Knowledge (2006) (3)
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor (2002) (3)
Artificial Intelligence : Art or Science ? (1988) (3)
IJCAI Policy on Multiple Publication of Papers (1988) (2)
Dynamic Data Sharing from Large Data Sources (2014) (2)
Proceedings of AAAI Spring Symposium Series (2010) (2)
Artificial Intelligence Programming Environments (1987) (2)
Psychological Validity of Schematic Proofs (2005) (2)
Notes of the ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (2010) (2)
On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence (2013) (2)
Topics for Circumscription (1984) (2)
Can Domain Specific Knowledge Be Generalized? (1977) (2)
Proceedings of the ISWC workshop on Ontology Matching (2010) (2)
Representing Semantic Information In Pulley Problems (1977) (2)
Isawhelk: Whelk Interpreted in Isabelle (1994) (2)
Automating Signature Evolution in Logical Theories (2008) (2)
Concurrent-distributed programming techniques for SAT using DPLL-stålmarck (2009) (2)
Markgraf Karl Refutation Procedure (1984) (2)
The role of inference in the solving of mechanics problems (1976) (2)
Fuzzy Relational Products (1984) (2)
A subsumption architecture for theorem proving? (1994) (2)
Solving integrals at the method level (2001) (2)
Generalised Hough Transform (1984) (2)
Workshop on Grid Performability Modelling and Measurement (2006) (2)
A Prototype Interface Between CLAM and HOL (1997) (2)
The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project (2010) (2)
Productive use of failure in top-down formal methods (2011) (2)
Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the Construction of Dependable Systems (2009) (2)
Properties of IsaCoSy ’ s Constraint Generation Algorithm (2010) (2)
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem (1997) (2)
Proceedings of the 15th International Joint Conference on Arti Intelligence - IJCAI '97 (1997) (2)
AN OVERVIEW OF THE ECO PROJECT (2004) (2)
Signature Entrenchment and Conceptual Changes in Automated Theory Repair (2022) (2)
Automatic Guidance of Mechanically Generated Proofs (1995) (2)
The EcoLogic System (1988) (2)
Towards a Theory of Diagnosis of Faulty Ontologies (2011) (2)
On Process Equivalence = Equation Solving in CCS (2009) (2)
Using Linked Data for Semi-Automatic Guesstimation (2010) (2)
The Termination of Rippling and Unblocking (1998) (2)
Incidence Calculus ∗ (2010) (2)
Partitioned Semantic Net (1984) (2)
Recovering Incedence Functions (1993) (2)
Lemma Discovery and Middle-Out Reasoning for Automated Inductive Proofs (2010) (2)
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract) (1993) (2)
Fast, but Approximate, Workflow-Runtime Estimation Using the Bell-Curve Calculus (2007) (2)
KL-One/KL-Two (1984) (1)
Evolution of Inconsistent Ontologies in Physics (2011) (1)
The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution ARCOE-10 (2010) (1)
Catalogue of artificial intelligence tools; (2nd, rev. ed.) (1986) (1)
Explorer Why Ontology Evolution is Essential in Modelling Scientific Discovery (2008) (1)
Proceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2 (1985) (1)
Action and Interaction in AI Theories and Systems : Essays Dedicated to Luigia (1)
The Wheel is Come Full Circle (2003) (1)
A Higher Order Approach to Ontology Evolution in Physics (2012) (1)
Using Implicit Induction to Guide a Parallel Search for Inconsistency (2002) (1)
A treatise on elementary equation solving (1979) (1)
AI Bridges and Dreams (2007) (1)
Middle-Out Reasoning for Logic Program (1993) (1)
TREAT: Automated Construction and Maintenance of Probabilistic Knowledge Bases from Logs (Extended Abstract) (2022) (1)
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (1993) (1)
Workshop on Automated Mathematical Theory Exploration (Automatheo) (2009) (1)
Proceedings of IJCAI-3 (1973) (1)
Using Rich Inference to Find Novel Answers to Questions (2015) (1)
Royal Society/British Academy" Artificial Intelligence and The Mind: New Breakthroughs or Dead Ends? (1994) (1)
Automating Event-B invariant proofs by rippling and proof patching (2019) (1)
Qualitative Causal Analysis of Empirical Knowledge for Ontology Evolution in Physics (2010) (1)
On The Notion Of Interestingness InAutomated Mathemati al Dis overySimon (2000) (1)
Proceedings of Artificial Intelligence and Simulation of Behaviour (1976) (1)
Towards a Bell-Curve Calculus and its Application to e-Science (2006) (1)
Report from Dagstuhl Seminar 12221 Cognitive Approaches for the Semantic Web (2012) (1)
A Comparison of Two Proof Critics: Power vs. Robustness (2002) (1)
Artificial Intelligence Today (1999) (1)
Probability, truth, and logic: reply to Cheeseman (1988) (1)
An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics (2009) (1)
There is no best proof procedure (1971) (1)
Proceedings of Logic Programming and Automated Reasoning '94 (1994) (1)
The Use of Reformation to Repair Faulty Analogical Blends (2016) (1)
Solving Single-suit Bridge Play: Winning and Knowing Why (2000) (1)
10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings (1992) (1)
Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system (2022) (1)
Understanding mathematical proofs (2006) (1)
Facilitating virtual interaction through flexible representation (2009) (1)
Forward/Backward Search (1984) (1)
Branch-and-Bound Algorithms (1984) (1)
Verification of Diagrammatic Proofs (1998) (1)
Towards a Bell-Curve Calculus for e-Science (2006) (1)
Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994 (1994) (1)
Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) (2012) (1)
The metatheory of the elementary equation calculus (1971) (1)
Veriication of Diagrammatic Proofs (1998) (1)
Veriication of Diagrammatic Proofs (1998) (1)
The application of deductive synthesis techniques to the rapid assembly and re-assembly of grid applications (2002) (1)
Applying Adversarial Planning to Go (2001) (1)
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version) (2016) (1)
Proceedings of the VIII Conference on Logic and Computer Science (LIRA 97) (1997) (1)
Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 (1981) (1)
Automatic guidance of program synthesis proofs (2000) (1)
OpenKnowledge Deliverable D 4 . 1 Approximate Semantic Tree Matching in OpenKnowledge (2006) (1)
Recursive Program Optimization through Inductive Synthesis Proof Transformation (2004) (1)
The challenge of computer mathematics. Discussion (2005) (1)
Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA (1996) (1)
Facilitating virtual interaction through flexible representation (2009) (1)
Rippling: greatest hits (1996) (1)
Advances in Artificial Intelligence: Proceedings of the 1987 AISB Conference, University of Edinburgh (1987) (1)
Identifying Semantic Domains in Emergency Scenarios (2018) (1)
Remote Procedure Calls (1984) (1)
5th Automated Formal Methods workshop (AFM’10) (2010) (1)
Proceedings of Mathematical User-Interfaces Workshop (MathUI’2006) (2006) (1)
Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984. North-Holland, 1985 (1984) (1)
Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University (1997) (1)
Shape from Shading (1984) (1)
Logic Machine Architecture (1984) (1)
PCC - Proof, Computation, Complexity International workshop 2004 (2005) (0)
Proceedings of the Symposium on Inconsistency Robustness 2011 (2011) (0)
Varieties of rippling (2005) (0)
Proving properties of logic programs: summary of progress (1986) (0)
Solving Guesstimation Problems Using the Semantic Web (2013) (0)
A Survey of Automated Deduction 1 a Potted History of Early Automated Deduction (1999) (0)
Proceedings of the Ninth International Joint Conference on Artificial Intelligence - 1985 (1985) (0)
Explorer Evolution of Inconsistent Ontologies in Physics (2011) (0)
A Bookable Offence (2004) (0)
Supporting Programming by Analogy in the Learning ofFunctional Programming (1997) (0)
Edinburgh Research Explorer Towards Ontology Evolution in Physics (2008) (0)
Non-Linear Planning (1984) (0)
Symbolic Computation and Automated Reasoning 2000 (2001) (0)
Preparing for the future of Artificial Intelligence (2016) (0)
META-LEVEL INFERENCE AND VERIFICATION PROGRAM (2004) (0)
Desert Island Column (2004) (0)
Edinburgh Research Explorer MATHsAiD: Automated Mathematical Theory Exploration (2015) (0)
AAAI Symposium on Scientific Discovery (2008) (0)
Constraint Satisfaction And Propagation (1984) (0)
Better Buildings ... for the Future (2004) (0)
Distributed Problem Solving (1984) (0)
Time Complexity of Recognition (1984) (0)
Reasoning about Representations in Autonomous Systems (2012) (0)
Explorer The Theory Behind TheoryMine (2010) (0)
Object-Centred Co-Ordinates (1984) (0)
A Science of Reasoning: Extended Abstract 2 the Need for Higher-level Explanations like to Thank Two Anonymous Referees and Other Members of the Mathematical Reasoning Group at Edinburgh for Feedback, Especially (1990) (0)
Modulation Transfer Function (1984) (0)
Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011" (2013) (0)
The Use of Typed Lambda Calculus for Requirements Capture in the Domain of Ecological Modelling (2004) (0)
Negation as Failure (1984) (0)
Integrating Paraphrasing into the FRANK QA System (2022) (0)
Expert Systems 85: Proceedings of the Fifth Technical Conference of the British Computer Society Specialist Group on Expert Systems (British Computer Society Workshop Series) (1985) (0)
Edinburgh Explorer Psychological validity of schematic proofs (2018) (0)
Catalogue of artificial intelligence tools, 2nd Edition (1986) (0)
Announcements (1976) (0)
Repairing Numerical Equations in Analogically Blended Theories Using Reformation (2022) (0)
Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 2009) (2009) (0)
Proceedings of AI@50 (2006) (0)
Memory-Based Problem Solving and Schema Induction in Go (2000) (0)
Explorer Tutorial notes : reasoning about logic programs (2016) (0)
Interactions Between Sub-Goals (1984) (0)
Contributions to AI 4 FM 2015 The 6 th International Workshop on the use of AI in Formal Methods (2015) (0)
Explorer Planning and Proof Planning (2007) (0)
Knowledge Acquisition in GraPE (Grant Proposal Electronic Reviewing Assistant) (2005) (0)
KAS: Knowledge Acquisition System (1984) (0)
Semantic Binary Relationship Model (1984) (0)
Evaluating Prolog Environments A Progress Report (2004) (0)
The UT Theorem Prover (1984) (0)
Computers and Games (2010) (0)
Late-breaking papers proceedings of ILP 2015 (LBP-ILP 2015) (2016) (0)
UKCRC Grand Challenges in Computing Research (GCCR‘10) (2010) (0)
Fast Pattern Recognition Techniques (1984) (0)
Analogical Problem Solving (1984) (0)
Introduction - Special Issue Reasoning with Context in the Semantic Web (2012) (0)
A Closer Look at Probability Calibration of Knowledge Graph Embedding (2022) (0)
DIAMOND: Diagrammatic Reasoning System Demonstration* (1998) (0)
Explorer The Use of Proof Planning for Cooperative Theorem Proving (2017) (0)
Computational Logic and Human Thinking: How to Be Artificially Intelligent, Robert Kowalski. (2011) (2012) (0)
How to Get the Most Out of IJCAI-83 (1983) (0)
Rippling Meta-Level Guidance for Mathematical Reasoning: An annotated calculus and a unification algorithm (2005) (0)
Proceedings of the 4th European Conference on Artificial Intelligence (1978) (0)
Leaky virtual machines and the best of both worlds (1998) (0)
OpenKnowledge FP 6-027253 Ontology Translation Framework (2008) (0)
Explorer Automated Discovery of Inductive Theorems (2007) (0)
Pattern Directed Retrieval/Invocation (1984) (0)
Explorer What is a proof ? (2017) (0)
1 An introduction to rippling 1 . 1 Overview (2005) (0)
On the Evolution of Classifications (2011) (0)
Explorer Dr . Doodle : A Diagrammatic Theorem Prover (2015) (0)
As a Matter of Fact ... (1994) (0)
AI Bridges and dreams (2005) (0)
Division of Informatics , University of Edinburgh Institute for Representation and Reasoning A Survey of Automated Deduction (1999) (0)
Non-Monotonic Reasoning (1984) (0)
Solving integrals at the method level (poster session) (2001) (0)
Explorer Proof Planning for Maintainable Conguration Systems (2016) (0)
Propositional Constraint Propagation (1984) (0)
'Incidence Calculus' in the Encylopedia of Mathematics (1997) (0)
MECHNO, Year one. (1976) (0)
Too Long Between (1994) (0)
The Theory behind Theory Mine (2015) (0)
Local Grey-Level Operations (1984) (0)
2 1/2-D Sketch (1984) (0)
Explorer Constructing , Selecting and Repairing Representations of Knowledge (0)
Postulating Intrinsic Properties (1984) (0)
Finding Common Paths (1984) (0)
uting Abstractio ierarchies (1996) (0)
Explorer Proof Planning and Configuration (2011) (0)
UK Ontology Network 2016 (2016) (0)
Pyramids/Resolution Cones (1984) (0)
Rippling Meta-Level Guidance for Mathematical Reasoning: An introduction to rippling (2005) (0)
Edinburgh Research Explorer Ontology Evolution in Law (Extended Abstract) (2017) (0)
The computer modelling of mathematical reasoning / Alan Bundy (1983) (0)
Explorer Diagnosing and Repairing Ontological Mismatches (0)
Evaluation Process for GraPE (A Web-Based Expert System for Reviewing Grant Proposal) (2005) (0)
Propagation in Cellular Arrays (1984) (0)
Edinburgh Research Explorer Artificial Intellignce: Art or Science? (2017) (0)
Explorer A Proposal for Automatic Diagrammatic Reasoning in Continuous Domains (2017) (0)
ACLS: Analogue Concept Learning System (1984) (0)
Automated Scientific Discovery: Papers from the AAAI Fall Symposium (2008) (0)
Table of Multiple Effects (1984) (0)
Aknowledgments 5.3 Deducing in Ot via Reasoning in Mt (1994) (0)
Viewer-Centred Co-ordinates (1984) (0)
13th biennial European Conference on Artificial Intelligence Workshop 1998 (1998) (0)
European collaboration on automated reasoning (2014) (0)
Edinburgh Research Explorer `Semantic procedure' is an oxymoron (2010) (0)
Computer-Aided Construction of Ecological Simulation Programs (2004) (0)
in Autonomous Systems: What Pόlya and Lakatos Have to Say (2012) (0)
Rippling Meta-Level Guidance for Mathematical Reasoning: References (2005) (0)
Perspectives on Induction (2014) (0)
Proof Critics for IsaPlanner Moa Johansson Lucas Dixon (2007) (0)
Learning from Solution Paths (1984) (0)
A Potted History of Arti cial IntelligenceIn (2007) (0)
Analysing IBM ’ s Common Cryptographic Architecture API with a Protocol Analysis Tool (2007) (0)
Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms (2022) (0)
Submission to J. Functional Programming Special Issue on Theorem Proving & Functional Programming Automatic Veri cation of Functions with Accumulating Parameters (1999) (0)
Artificial Intellignce: Art or Science? (1988) (0)
Model Directed Search (1984) (0)
What is a proof? Discussion (2005) (0)
On Predicting the Grammar of a Normal-Form (2005) (0)
Edinburgh Research Explorer A Context Mechanism for an Inference-based Question Answering System (2020) (0)
Sending the Wrong Signals (1994) (0)
Explorer Dynamic Ontology Refinement (2008) (0)
KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Valencia, Spain, October 25-28, 2010 (2010) (0)
Edinburgh Research Explorer Probability, Truth and Logic: Reply to Cheeseman (2018) (0)
Reasoning about Representations in Autonomous Systems: What Pólya and Lakatos Have to Say (2012) (0)
Max-planck-institut F Ur Informatik Middle-out Reasoning for Logic Program Synthesis K I N F O R M a T I K Im Stadtwald D 66123 Saarbr Ucken Germany Authors' Addresses (2007) (0)
Aplis - Ten Years On (1998) (0)
ABC in Root Cause Analysis: Discovering Missing Information and Repairing System Failures (2022) (0)
Edinburgh Research Explorer Automating change of representation for proofs in discrete mathematics (2018) (0)
Fuzzy Set Theory (1984) (0)
The Use of Proof Plans in Formal Methods (1990) (0)
Augmented Transition Network (1984) (0)
Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010 (2010) (0)
Explorer On Repairing Reasoning Reversals via Representational Refinements (0)
Top-Down Parsing (1984) (0)
The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction (2000) (0)
Explorer MATHsAiD : A Mathematical Theorem Discovery Tool (2013) (0)
Edinburgh Research Explorer Middle-Out Reasoning for Logic Program Synthesis (2007) (0)
Proof Planning the Veri cation of CCSPrograms ? (2007) (0)
OpenKnowledge FP 6-027253 Comparison of Mapping Techniques (2008) (0)
Inductive Proof Plans for the Correction of Faulty Software Speciications Thesis Proposal (1994) (0)
Garbage In--Garbage Out. The Need for Quality in the Age of Automation. Proceedings of the Australian Library and Information Association National Cataloguing Conference (8th, North Adelaide, South Australia, Australia, September 14-16, 1989). (1990) (0)
From rippling to a general methodology (2005) (0)
OpenKnowledge FP 6-027253 Benchmarking Methodology for Good Enough Answers Coordinator : (2008) (0)
Inference Engine Toolkit (1984) (0)
Computational Models for Problem Solving (1978) (0)
Artificial intelligence—balancing euphoria with reality (1986) (0)
You Can't Blow an Uncertain Trumpet (2003) (0)
The Mind and the Machine (1984) (0)
Edinburgh Research Explorer The Eco Browser (2017) (0)
Recovering Incidence FunctionsWeiru (1993) (0)
Constructive Solid Geometry (1984) (0)
A formal account of rippling (2005) (0)
Notes of the IJCAI-09 Workshop ARCOE-09 (2009) (0)
Edinburgh Deductive Synthesis of Workflows for E-Science (0)
Edinburgh Research Explorer Programming Tools for Prolog Environments (2017) (0)
Commentary on: solving symbolic equations with PRESS (1988) (0)
A Common Type of Rigorous Proof that Resists Hilbert’s Programme (2019) (0)
Optimistic Plan Execution (1984) (0)
Explorer On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence (2011) (0)
Notes of the IJCAI-11 Workshop ARCOE-11 (2011) (0)
Combining Deductive and Statistical Explanations in the FRANK Query Answering System (2021) (0)
Multi-Pulse LPC (1984) (0)
Cascaded Augmented Transition Network (1984) (0)
Using Animation in Diagrammati (2010) (0)
ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web (2023) (0)
Aplis - After Three Years, Where to Now? (1990) (0)
Edinburgh Research Explorer Logic Program Synthesis via Proof Planning (1993) (0)
Edinburgh Explorer Conjecture Synthesis for Inductive Theories (2017) (0)
Can theorem proving keep the planes flying (1993) (0)
Automating inductive proof (2014) (0)
Grey-Level Image (1984) (0)
6 Final Remarks and Conclusions (2007) (0)
AI 4 FM : using AI to aid automation of proof search in Formal Methods (2009) (0)
NIAL (Nested Interactive Array Language) (1984) (0)
Positive, Negative and Potential (1996) (0)
Depth-First Parsing (1984) (0)
Edinburgh Explorer Attacking Group Multicast Key Management Protocol using CORAL (2018) (0)
Invariant Violation Demons (1984) (0)
The Oyster-c Lam System * (2005) (0)
HCL Anderson Award 1998 (1999) (0)
Production Rule System (1984) (0)
INTELLIGE~IT FRONT ENDS (1984) (0)
IJCAI Organization (2007) (0)
C Proof of Theorem 4 . 1 a Proof of Theorem 3 . 1 (1994) (0)
Workshop on Automated Reasoning Bridging the Gap between Theory and Practice 2008 (2008) (0)
Adversarial Planning in Complex (1998) (0)
Explorer Scheme-Based Synthesis of Inductive Theories (2010) (0)
Proof Planning & Configuration (1996) (0)
Explorer The interaction of representation and reasoning (2017) (0)
The Representation and Solution of Problems in Applied Mathematics: an Artificial Intelligence Approach (1980) (0)
Sensory Feedback And Compliance (1984) (0)
MATHsAiD: Automated mathematical theory exploration (2017) (0)
Middle-out Reasoning for Synthesis and Induction Middle-out Reasoning for Synthesis and Induction (1995) (0)
Explorer The Method of Assigning Incidences (2004) (0)
Edinburgh Research Explorer Recovering Incedence Functions (2017) (0)
Numerically-Controlled Machine Tools (1984) (0)
Explorer Automating Signature Evolution in Logical Theories (2008) (0)
Rippling Meta-Level Guidance for Mathematical Reasoning: Productive use of failure (2005) (0)
Explorer Functional Inferences Over Heterogeneous Data (2016) (0)
Explanation-based Generalisation = Partial Evaluation 1 (1988) (0)
for Helping Novices to Learn Standard ML (2015) (0)
Computer-Supported Mathematical Theory Development’04 (2004) (0)
An overview of the ABC Repair System for Datalog-like Theories (2022) (0)
A Proposal for Automating Diagrammati Reasoning in Continuous (2007) (0)
On the Nature of Mathematical Judgement Reply to Penrose (1990) (0)
One-Then-Best Backtracking (1984) (0)
Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530) (2021) (0)
Relational Database Query Formulation (1984) (0)
Proof-Guided Ontology Development using Pattern Rules (2013) (0)
Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence (1998) (0)
Advances in Artificial Intelligence (2010) (0)
The Automation of Proof by Mathematical Induction 3.2.2. Non-free Datatypes and Over-deenition (1995) (0)
Means/Ends Analysis (1984) (0)
How to get a PhD in AI (1984) (0)
A note on omitting the replacement schema (1973) (0)
Could a Computer Create its Own Representations (2015) (0)
Computing Tomorrow: Future Directions in Computer Science (1996) (0)
RETURN THIS TO ALAN BUNDY AN INTELLIGENT FRONT END FOR ECOLOGICAL MODEILIN (2017) (0)
How to solve it by induction (1992) (0)
Shape from Texture (1984) (0)
Final Report of Grant GR/S98139/01: Automated Analysis of Security Critical Systems (2007) (0)
System Description: CyNTHIA (1999) (0)
Proceedings of 2002 Workshop on Foundations of Computer Security (2002) (0)
Multi-Actor System (1984) (0)
Explorer Computational Thinking is Pervasive (2007) (0)
Prospects for artificial intelligence (1997) (0)
IJCAI Policy Statement: IJCAI Policy on Multiple Publication of Papers (1989) (0)
Proceedings of the 2011 International Conference on Discovering Meaning On the Go in Large Heterogeneous Data (2011) (0)
An expert system for ecological modelling (1981) (0)
Explorer Ontology Evolution in Law ( Extended Abstract ) (2011) (0)
An expert system for medical diagnosis (1987) (0)
THE AUTOMATION OF PROOF BY MATHEMATICAL INDUCTION BUNDY,A (2017) (0)
STUDIES IN LOGIC , GRAMMAR AND RHETORIC 10 ( 23 ) 2007 Automated Discovery of Inductive Theorems ⋆ (2007) (0)
A Calculus for Conjecture Synthesis (2011) (0)
The FINITE STRING Newsletter: Announcements (1986) (0)
IJCAI Policy on Multiple Publication of Papers Revisited (1990) (0)
Proceedings of 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (2003) (0)
Evaluating Prolog environments (1988) (0)
Capitalising on Social Capital (2003) (0)
Responses to the 1990 APLIS Reader Survey (1991) (0)
ARTIFICAIL INTELLIGENCE AND MUSICAL COGNITION. DISCUSSION (1994) (0)
Data-Directed Control (1984) (0)
Proof planning for Maintainabilit y 2 Proof planning for Maintainable Configuration Systems (1998) (0)
Rippling Meta-Level Guidance for Mathematical Reasoning: The scope and limitations of rippling (2005) (0)
MultiAgent Theorem Proving: Towards automating the dynamics of a proof (2006) (0)
Bottom-Up Parsing (1984) (0)

This paper list is powered by the following services:

Other Resources About Alan Bundy

en.wikipedia.org

What Schools Are Affiliated With Alan Bundy?

Alan Bundy is affiliated with the following schools:

Alan Bundy's Academic­Influence.com Rankings

Why Is Alan Bundy Influential?

Alan Bundy's Published Works

Published Works

Other Resources About Alan Bundy

What Schools Are Affiliated With Alan Bundy?

Image Attributions

Alan Bundy's AcademicInfluence.com Rankings