| 2024 | SGAI | Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic. | Pak Yin Chan, Xue Li, Yiwei Lu, Yuhui Lin, Alan Bundy |
| 2020 | ECAI | Explainable Inference in the FRANK Query Answering System. | Kwabena Nuamah, Alan Bundy |
| 2020 | SGAI | The Use of Max-Sat for Optimal Choice of Automated Theory Repairs. | Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li |
| 2018 | AISC | Automated Reasoning in the Age of the Internet. | Alan Bundy, Kwabena Nuamah, Christopher Lucas |
| 2018 | IC3K | ABC Repair System for Datalog-like Theories. | Xue Li, Alan Bundy, Alan Smaill |
| 2015 | ACSAC | Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit. | Andriana Gkaniatsou, Fiona McNeill, Alan Bundy, Graham Steel, Riccardo Focardi, Claudio Bozzato |
| 2015 | ILP | Typed meta-interpretive learning for proof strategies. | Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy |
| 2011 | IJCAI | Towards a Theory of Diagnosis of Faulty Ontologies. | Alan Bundy |
| 2010 | CADE | A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. | Jonathan Alexander Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill |
| 2010 | IC3K | Higher-order Representation and Reasoning for Automated Ontology Evolution. | Michael Chan, Jos Lehmann, Alan Bundy |
| 2010 | ITP | Case-Analysis for Rippling and Inductive Proof. | Moa Johansson, Lucas Dixon, Alan Bundy |
| 2008 | AISC | Automating Signature Evolution in Logical Theories. | Alan Bundy |
| 2008 | WoLLIC | Towards Ontology Evolution in Physics. | Alan Bundy, Michael Chan |
| 2007 | IJCAI | Cooperating Reasoning Processes: More than Just the Sum of Their Parts. | Alan Bundy |
| 2006 | FlAIRS | On Repairing Reasoning Reversals via Representational Refinements. | Alan Bundy, Fiona McNeill, Christopher Walton |
| 2006 | SYNASC | MATHsAiD: A Mathematical Theorem Discovery Tool. | Roy L. McCasland, Alan Bundy |
| 2005 | CCGRID | Deductive synthesis of workflows for e-Science. | Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon |
| 2004 | AISC | Planning and Patching Proof. | Alan Bundy |
| 2004 | CADE | Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. | Graham Steel, Alan Bundy, Monika Maidl |
| 2004 | CADE | Dr.Doodle: A Diagrammatic Theorem Prover. | Daniel Winterstein, Alan Bundy, Corin A. Gurr |
| 2004 | DIAGRAMS | An Experimental Comparison of Diagrammatic and Algebraic Logics. | Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik |
| 2004 | DIAGRAMS | On Differences between the Real and Physical Plane. | Daniel Winterstein, Alan Bundy, Mateja Jamnik |
| 2002 | DIAGRAMS | Using Animation in Diagrammatic Theorem Proving. | Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik |
| 2000 | AAAI | Automatic Invention of Integer Sequences. | Simon Colton, Alan Bundy, Toby Walsh |
| 2000 | AAAI | Combining Knowledge and Search to Solve Single-Suit Bridge. | Ian Frank, David A. Basin, Alan Bundy |
| 2000 | DIAGRAMS | A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. | Daniel Winterstein, Alan Bundy, Mateja Jamnik |
| 2000 | ICML | Automatic Identification of Mathematical Concepts. | Simon Colton, Alan Bundy, Toby Walsh |
| 1999 | CADE | The Design of the CADE-16 Inductive Theorem Prover Contest. | Dieter Hutter, Alan Bundy |
| 1999 | CADE | A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. | Predrag Janicic, Alan Bundy, Ian Green |
| 1999 | CADE | System Description: CyNTHIA. | Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe |
| 1999 | IJCAI | Automatic Concept Formation in Pure Mathematics. | Simon Colton, Alan Bundy, Toby Walsh |
| 1999 | LPAR | Proofs About Lists Using Ellipsis. | Alan Bundy, Julian Richardson |
| 1999 | LPAR | Extensions to the Estimation Calculus. | Jeremy Gow, Alan Bundy, Ian Green |
| 1998 | CADE | System Description: An Interface Between CL | Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy |
| 1998 | ECAI | Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. | Ral Monroy, Alan Bundy, Ian Green |
| 1998 | TABLEAUX | A Science of Reasoning (Extended Abstract). | Alan Bundy |
| 1997 | CADE | Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. | Louise A. Dennis, Alan Bundy, Ian Green |
| 1997 | IJCAI | Automation of Diagrammatic Reasoning. | Mateja Jamnik, Alan Bundy, Ian Green |
| 1996 | AAAI | Computing Abstraction Hierarchies by Numerical Simulation. | Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh |
| 1996 | CADE | Extensions to a Generalization Critic for Inductive Proof. | Andrew Ireland, Alan Bundy |
| 1996 | FMCAD | Experiments in Automating Hardware Verification Using Inductive Proof Planning. | Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin |
| 1995 | IJCAI | Relational Rippling: A General Approach. | Alan Bundy, Vincent Lombart |
| 1994 | ECAI | Coloured Rippling: An Extension of a Theorem Proving Heuristic. | Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin |
| 1994 | LPAR | Proof Plans for the Correction of False Conjectures. | Ral Monroy, Alan Bundy, Andrew Ireland |
| 1993 | ECSQARU | Recovering Incedence Functions. | Weiru Liu, Alan Bundy, David Stuart Robertson |
| 1993 | ECSQARU | On the Relations between Incidence Calculus and ATMS. | Weiru Liu, Alan Bundy, David Stuart Robertson |
| 1993 | ICLP | Middle-Out Reasoning for Logic Program Synthesis. | Ina Kraan, David A. Basin, Alan Bundy |
| 1993 | LOPSTR | A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). | Peter Madden, Jane Hesketh, Ian Green, Alan Bundy |
| 1993 | LPAR | Incresing the Versatility of Heuristic Based Theorem Provers. | Alistair Manning, Andrew Ireland, Alan Bundy |
| 1992 | CADE | Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. | Jane Hesketh, Alan Bundy, Alan Smaill |
| 1992 | CADE | The Use of Proof Plans to Sum Series. | Toby Walsh, Alex Nunes, Alan Bundy |
| 1992 | ECAI | An Adaptation of Proof-Planning to Declarer Play in Bridge. | Ian Frank, David A. Basin, Alan Bundy |
| 1992 | LOPSTR | Logic Program Synthesis via Proof Planning. | Ina Kraan, David A. Basin, Alan Bundy |
| 1991 | LOPSTR | Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. | Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh |
| 1990 | CADE | A Science of Reasoning: Extended Abstract. | Alan Bundy |
| 1990 | CADE | The Oyster-Clam System. | Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill |
| 1990 | CADE | Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. | Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland |
| 1989 | IJCAI | A Rational Reconstruction and Extension of Recursion Analysis. | Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens |
| 1988 | CADE | The Use of Explicit Plans to Guide Inductive Proofs. | Alan Bundy |
| 1988 | ICLP | A Broader Interpretation of Logic in Logic Programming. | Alan Bundy |
| 1985 | IJCAI | Discovery and Reasoning in Mathematics. | Alan Bundy |
| 1985 | IJCAI | Raising the Standards of AI Products. | Alan Bundy, Richard Clutterbuck |
| 1984 | ECAI | An Intelligent Front End for Ecological Modelling. | Michael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy |
| 1982 | CADE | Meta-Level Inference and Program Verification. | Leon Sterling, Alan Bundy |
| 1982 | ECAI | Special Purpose, but Domain Independent, Inference Mechanisms. | Alan Bundy, Lawrence Byrd, Chris Mellish |
| 1982 | ECAI | A Critical Survey of Rule Learning Programs. | Alan Bundy, Bernard Silver |
| 1981 | IJCAI | Using Matching in Algebraic Equation Solving. | Alan Borning, Alan Bundy |
| 1981 | IJCAI | Homogenization: Preparing Equations for Change of Unknown. | Alan Bundy, Bernard Silver |
| 1980 | CADE | Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. | Alan Bundy, Bob Welham |
| 1978 | ECAI | Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving. | Alan Bundy, George F. Luger, Chris Mellish, Martha Stone Palmer |
| 1977 | IJCAI | Can Domain Specific Knowledge Be Generalized? | Alan Bundy |
| 1977 | IJCAI | Representing Semantic Information In Pulley Problems. | George F. Luger, Alan Bundy |
| 1976 | ECAI | MECHO, Year one. | Alan Bundy, George F. Luger, M. Stone, R. Welham |
| 1975 | IJCAI | Analysing Mathematical Proofs (Or Reading Between the Lines). | Alan Bundy |
| 1973 | IJCAI | Doing Arithmetic with Diagrams. | Alan Bundy |