Alan Bundy

According to our database1, Alan Bundy authored at least 197 papers between 1971 and 2020.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2014, "For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
The Use of Max-Sat for Optimal Choice of Automated Theory Repairs.
Proceedings of the Artificial Intelligence XXXVII, 2020

Using domain lexicon and grammar for ontology matching.
Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020

Explainable Inference in the FRANK Query Answering System.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019
Automating Event-B invariant proofs by rippling and proof patching.
Formal Aspects Comput., 2019

2018
Identifying Semantic Domains in Emergency Scenarios.
Proceedings of the 15th International Conference on Information Systems for Crisis Response and Management, 2018

Calculating Error Bars on Inferences from Web Data.
Proceedings of the Intelligent Systems and Applications, 2018

ABC Repair System for Datalog-like Theories.
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

Automated Reasoning in the Age of the Internet.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017
Smart machines are not a threat to humanity.
Commun. ACM, 2017

MATHsAiD: Automated mathematical theory exploration.
Appl. Intell., 2017

Preparing for the future of Artificial Intelligence.
AI Soc., 2017

Improving Dynamic Information Exchange in Emergency Response Scenarios.
Proceedings of the 14th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2017

2016
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).
Math. Comput. Sci., 2016

Book review: Carol Smallwood (ed.), <i>Creative Management of Small Public Libraries in the 21st Century</i>.
J. Libr. Inf. Sci., 2016

Functional Inferences over Heterogeneous Data.
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

2015
Solving guesstimation problems using the Semantic Web: Four lessons from an application.
Semantic Web, 2015

The Theory behind Theory Mine.
IEEE Intell. Syst., 2015

Creating a new generation of computational thinkers.
Commun. ACM, 2015

Automating Change of Representation for Proofs in Discrete Mathematics.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Typed meta-interpretive learning for proof strategies.
Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition.
Proceedings of the Artificial General Intelligence, 2015

Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit.
Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2014
European collaboration on automated reasoning.
AI Commun., 2014

Dynamic data sharing for facilitating communication during emergency responses.
Proceedings of the 11th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2014

2013
A Higher Order Approach to Ontology Evolution in Physics.
J. Data Semant., 2013

On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence
CoRR, 2013

Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011".
Artif. Intell., 2013

2012
Reasoning with Context in the Semantic Web.
J. Web Semant., 2012

Book review: Joy Court (ed.), Read to Succeed: Strategies to Engage Children and Young People in Reading for Pleasure.
J. Libr. Inf. Sci., 2012

Scheme-based theorem discovery and concept invention.
Expert Syst. Appl., 2012

AI meets Formal Software Development (Dagstuhl Seminar 12271).
Dagstuhl Reports, 2012

Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) .
Artif. Intell., 2012

Towards the Automatic Detection and Correction of Errors in Automatically Constructed Ontologies.
Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012

The Use of Rippling to Automate Event-B Invariant Preservation Proofs.
Proceedings of the NASA Formal Methods, 2012

2011
Book review: The Reader-Friendly Library Service Rachel Van Riel, Olive Fowler and Anne Downes. Newcastle upon Tyne: The Society of Chief Librarians, 2008. 379pp, £25.00. ISBN 9780955902802.
J. Libr. Inf. Sci., 2011

Conjecture Synthesis for Inductive Theories.
J. Autom. Reason., 2011

Automated theorem provers: a practical tool for the working mathematician?
Ann. Math. Artif. Intell., 2011

Towards a Theory of Diagnosis of Faulty Ontologies.
Proceedings of the Workshop on Discovering Meaning On the Go in Large Heterogeneous Data 2011 (LHD-11), 2011

2010
Australia's Public Library System: Its Needs and Potential.
Public Libr. Q., 2010

Harnessing the power of folksonomies for formal ontology matching on-the-fly.
Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

Scheme-Based Synthesis of Inductive Theories.
Proceedings of the Advances in Artificial Intelligence, 2010

Case-Analysis for Rippling and Inductive Proof.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Higher-order Representation and Reasoning for Automated Ontology Evolution.
Proceedings of the KEOD 2010, 2010

A Single-Significant-Digit Calculus for Semi-Automated Guesstimation.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.
Proceedings of the Verification, Induction, Termination Analysis, 2010

Using Linked Data for Semi-Automatic Guesstimation.
Proceedings of the Linked Data Meets Artificial Intelligence, 2010

2009

Book Review: Delivering the Best Start: A Guide to Early Years Libraries by Carolynn Rankin and Avril Brock 2009, London: Facet Publishing, 190pp, £39.95, ISBN 9781856046107; Libraries Designed for Kids by Nolan Lushington 2008, London: Facet Publishing, 173pp, £44.95, ISBN 9781856046572.
J. Libr. Inf. Sci., 2009

On Process Equivalence = Equation Solving in CCS.
J. Autom. Reason., 2009

Concurrent-distributed programming techniques for SAT using DPLL-stålmarck.
Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

2008
Book Review: Joint-use Libraries: Libraries for the Future by Sarah McNicol 2008, Oxford: Chandos, 230pp, £39.95, ISBN 9781843343844.
J. Libr. Inf. Sci., 2008

Towards Ontology Evolution in Physics.
Proceedings of the Logic, 2008

Automating Signature Evolution in Logical Theories.
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

Inconstancy: An Ontology Repair Plan for Adding Hidden Variables.
Proceedings of the Automated Scientific Discovery, 2008

Why Ontology Evolution is Essential in Modeling Scientific Discovery.
Proceedings of the Automated Scientific Discovery, 2008

2007
Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution.
Int. J. Semantic Web Inf. Syst., 2007

AI Bridges and Dreams.
AI Soc., 2007

Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Cooperating Reasoning Processes: More than Just the Sum of Their Parts.
Proceedings of the IJCAI 2007, 2007

2006
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures.
J. Autom. Reason., 2006

Representation as a Fluent: An AI Challenge for the Next Half Century.
IEEE Intell. Syst., 2006

Constructing Induction Rules for Deductive Synthesis Proofs.
Electron. Notes Theor. Comput. Sci., 2006

A Very Mathematical Dilemma.
Comput. J., 2006

MATHsAiD: A Mathematical Theorem Discovery Tool.
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

On Repairing Reasoning Reversals via Representational Refinements.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Best-First Rippling.
Proceedings of the Reasoning, 2006

2005
Attacking Group Multicast Key Management Protocols Using Coral.
Electron. Notes Theor. Comput. Sci., 2005

Ascertaining Mathematical Theorems.
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

Automatic verification of design patterns in Java.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Deductive synthesis of workflows for e-Science.
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

Psychological Validity of Schematic Proofs.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

Rippling - meta-level guidance for mathematical reasoning.
Cambridge tracts in theoretical computer science 56, Cambridge University Press, ISBN: 978-0-521-83449-0, 2005

2004
Desert Island Column.
Autom. Softw. Eng., 2004

On Differences between the Real and Physical Plane.
Proceedings of the Diagrammatic Representation and Inference, 2004

An Experimental Comparison of Diagrammatic and Algebraic Logics.
Proceedings of the Diagrammatic Representation and Inference, 2004

Dr.Doodle: A Diagrammatic Theorem Prover.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

Planning and Patching Proof.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2002
A General Setting for Flexibly Combining and Augmenting Decision Procedures.
J. Autom. Reason., 2002

Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor.
Formal Aspects Comput., 2002

A Comparison of Two Proof Critics: Power vs. Robustness.
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Using Animation in Diagrammatic Theorem Proving.
Proceedings of the Diagrammatic Representation and Inference, 2002

A Critique of Proof Planning.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

On Automating Diagrammatic Proofs of Arithmetic Arguments.
Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001
Applying adversarial planning techniques to Go.
Theor. Comput. Sci., 2001

On the Correction of Faulty Formulae.
Computación y Sistemas, 2001

Automatic Verification of Java Design Patterns.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

The Automation of Proof by Mathematical Induction.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000
On the notion of interestingness in automated mathematical discovery.
Int. J. Hum. Comput. Stud., 2000

Planning Proofs of Equations in CCS.
Autom. Softw. Eng., 2000

Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts.
Ann. Math. Artif. Intell., 2000

Searching for a Solution to Program Verification=Equation Solving in CCS.
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

Automatic Identification of Mathematical Concepts.
Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000

A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

Combining Knowledge and Search to Solve Single-Suit Bridge.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

Automatic Invention of Integer Sequences.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
On Automating Diagrammatic Proofs of Arithmetic Arguments.
J. Log. Lang. Inf., 1999

Automatic Verification of Functions with Accumulating Parameters.
J. Funct. Program., 1999

Recursive Program Optimization Through Inductive Synthesis Proof Transformation.
J. Autom. Reason., 1999

Extensions to the Estimation Calculus.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Proofs About Lists Using Ellipsis.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

An ML Editor Based on Proofs-As-Programs.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Automatic Concept Formation in Pure Mathematics.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

System Description: CyNTHIA.
Proceedings of the Automated Deduction, 1999

A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.
Proceedings of the Automated Deduction, 1999

The Design of the CADE-16 Inductive Theorem Prover Contest.
Proceedings of the Automated Deduction, 1999

A Survey of Automated Deduction.
Proceedings of the Artificial Intelligence Today: Recent Trends and Developments, 1999

1998
The Use of Proof Planning for Co-operative Theorem Proving.
J. Symb. Comput., 1998

Lightweight Formalisation in Support of Requirements Engineering.
Autom. Softw. Eng., 1998

The Method of Assigning Incidences.
Appl. Intell., 1998

Automating the Synthesis of Decision Procedures in a Constructive Metatheory.
Ann. Math. Artif. Intell., 1998

Proof planning for maintainable configuration systems.
Artif. Intell. Eng. Des. Anal. Manuf., 1998

An Interface between Clam and HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Planning Equational Verification in CCS.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

An Adversarial Planning Approach to Go.
Proceedings of the Computers and Games, First International Conference, 1998

System Description: An Interface Between CL<sup>A</sup>M and HOL.
Proceedings of the Automated Deduction, 1998

1997
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.
J. Autom. Reason., 1997

An Editor for Helping Novices to Learn Standard ML.
Proceedings of the Programming Languages: Implementations, 1997

Automation of Diagrammatic Reasoning.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs.
Proceedings of the Automated Deduction, 1997

1996
Middle-Out Reasoning for Synthesis and Induction.
J. Autom. Reason., 1996

Constructing probabilistic ATMSs using extended incidence calculus.
Int. J. Approx. Reason., 1996

Calculating Criticalities.
Artif. Intell., 1996

Experiments in Automating Hardware Verification Using Inductive Proof Planning.
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

Extensions to a Generalization Critic for Inductive Proof.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Proof Planning.
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

Computing Abstraction Hierarchies by Numerical Simulation.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Assignment methods for incidence calculus.
Int. J. Approx. Reason., 1995

Relational Rippling: A General Approach.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence.
Int. J. Hum. Comput. Stud., 1994

The New Software Copyright Law.
Comput. J., 1994

Proof Plans for the Correction of False Conjectures.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Coloured Rippling: An Extension of a Theorem Proving Heuristic.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993
Rippling: A Heuristic for Guiding Inductive Proofs.
Artif. Intell., 1993

Incresing the Versatility of Heuristic Based Theorem Provers.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).
Proceedings of the Logic Program Synthesis and Transformation, 1993

A Framework for Program Development Based on Schematic Proof.
Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Middle-Out Reasoning for Logic Program Synthesis.
Proceedings of the Logic Programming, 1993

On the Relations between Incidence Calculus and ATMS.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

Recovering Incedence Functions.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992
Die Geschichte der Mechanisierung der Logik in der KI (Interview).
Künstliche Intell., 1992

Tutorial Notes: Reasoning about Logic Programs.
Proceedings of the Logic Programming in Action, 1992

Logic Program Synthesis via Proof Planning.
Proceedings of the Logic Program Synthesis and Transformation, 1992

An Adaptation of Proof-Planning to Declarer Play in Bridge.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

The Use of Proof Plans to Sum Series.
Proceedings of the Automated Deduction, 1992

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs.
Proceedings of the Automated Deduction, 1992

1991
Experiments with Proof Plans for Induction.
J. Autom. Reason., 1991

Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.
Proceedings of the Logic Program Synthesis and Transformation, 1991

The Use of Proof Plans for Normalization.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

A Science of Reasoning.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

Eco-Logic - Logic-Based Approaches to Ecological Modeling.
Logic programming, MIT Press, ISBN: 978-0-262-18143-3, 1991

1990
IJCAI Policy on Multiple Publication of Papers Revisited.
AI Commun., 1990

The Use of Proof Plans in Formal Methods.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.
Proceedings of the 10th International Conference on Automated Deduction, 1990

The Oyster-Clam System.
Proceedings of the 10th International Conference on Automated Deduction, 1990

A Science of Reasoning: Extended Abstract.
Proceedings of the 10th International Conference on Automated Deduction, 1990

A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs.
Proceedings of the Logic Programming, 1990

1989
Solving Symbolic Equations with PRESS.
J. Symb. Comput., 1989

The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface.
Int. J. Man Mach. Stud., 1989

IJCAI Policy Statement: IJCAI Policy on Multiple Publication of Papers.
AI Mag., 1989

A Rational Reconstruction and Extension of Recursion Analysis.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Meta-Level Inference: Two Applications.
J. Autom. Reason., 1988

Probability, truth, and logic: reply to Cheeseman.
Comput. Intell., 1988

Commentary on: solving symbolic equations with PRESS.
SIGSAM Bull., 1988

IJCAI Policy on Multiple Publication of Papers.
AI Commun., 1988

Explanation-Based Generalisation = Partial Evaluation.
Artif. Intell., 1988

A Broader Interpretation of Logic in Logic Programming.
Proceedings of the Logic Programming, 1988

The Use of Explicit Plans to Guide Inductive Proofs.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1986
Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus.
J. Autom. Reason., 1986

Catalogue of artificial intelligence tools, 2nd Edition.
Symbolic computation : Artificial intelligence, Springer, ISBN: 0387168931, 1986

1985
Incidence Calculus: A Mechanism for Probabilistic Reasoning.
J. Autom. Reason., 1985

An Analytical Comparison of Some Rule-Learning Programs.
Artif. Intell., 1985

Raising the Standards of AI Products.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Discovery and Reasoning in Mathematics.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
A generalized interval package and its use for semantic checking.
ACM Trans. Math. Softw., 1984

Topics for Circumscription.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984

An Intelligent Front End for Ecological Modelling.
Proceedings of the Advances in Artificial Intelligence, 1984

1983
How to Get the Most Out of IJCAI-83.
AI Mag., 1983

The Nature of AI: A Reply to Schank.
AI Mag., 1983

1982
A Critical Survey of Rule Learning Programs.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

Special Purpose, but Domain Independent, Inference Mechanisms.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

Meta-Level Inference and Program Verification.
Proceedings of the 6th Conference on Automated Deduction, 1982

1981
What Is the Well-Dressed AI Educator Wearing Now?
AI Mag., 1981

Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation.
Artif. Intell., 1981

Homogenization: Preparing Equations for Change of Unknown.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

Using Matching in Algebraic Equation Solving.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation.
Proceedings of the 5th Conference on Automated Deduction, 1980

1978
Will it Reach the Top? Prediction in the Mechanics World.
Artif. Intell., 1978

Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1977
Representing Semantic Information In Pulley Problems.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Can Domain Specific Knowledge Be Generalized?
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
MECHNO, Year one.
Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976

1975
Analysing Mathematical Proofs (Or Reading Between the Lines).
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1973
A note on omitting the replacement schema.
Notre Dame J. Formal Log., 1973

Doing Arithmetic with Diagrams.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1971
There is no best proof procedure.
SIGART Newsl., 1971


  Loading...