Alan Bundy

F. Correa da Silva, Alan Bundy: On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence. CoRR abs/1304.1126 (2013)

Alan Bundy: Incidence Calculus: A Mechanism for Probabilistic Reasoning. CoRR abs/1304.3438 (2013)

Alan Bundy: Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) . Artif. Intell. 191-192: 96-97 (2012)

Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-based theorem discovery and concept invention. Expert Syst. Appl. 39(2): 1637-1646 (2012)

Jos Lehmann, Ivan José Varzinczak, Alan Bundy: Reasoning with Context in the Semantic Web. J. Web Sem. 12: 1-2 (2012)

Yuhui Lin, Alan Bundy, Gudmund Grov: The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods 2012: 231-236

Andriana Gkaniatsou, Alan Bundy, Fiona McNeill: Towards the Automatic Detection and Correction of Errors in Automatically Constructed Ontologies. SITIS 2012: 860-867

Alan Bundy, Dieter Hutter, Cliff B. Jones, J. Strother Moore: AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2(7): 1-29 (2012)

Alan Bundy: Automated theorem provers: a practical tool for the working mathematician? Ann. Math. Artif. Intell. 61(1): 3-14 (2011)

Moa Johansson, Lucas Dixon, Alan Bundy: Conjecture Synthesis for Inductive Theories. J. Autom. Reasoning 47(3): 251-289 (2011)

Alan Bundy: Towards a Theory of Diagnosis of Faulty Ontologies. LDH 2011: 14-18

Jonathan Alexander Abourbih, Alan Bundy, Fiona McNeill: Using Linked Data for Semi-Automatic Guesstimation. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence 2010

Moa Johansson, Lucas Dixon, Alan Bundy: Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis 2010: 102-116

Jonathan Alexander Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill: A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. IJCAR 2010: 354-368

Michael Chan, Jos Lehmann, Alan Bundy: Higher-order Representation and Reasoning for Automated Ontology Evolution. KEOD 2010: 84-93

Moa Johansson, Lucas Dixon, Alan Bundy: Case-Analysis for Rippling and Inductive Proof. ITP 2010: 291-306

Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-Based Synthesis of Inductive Theories. MICAI (1) 2010: 348-361

Theodosia Togia, Fiona McNeill, Alan Bundy: Harnessing the power of folksonomies for formal ontology matching on-the-fly. OM 2010

Raul Monroy, Alan Bundy, Ian Green: On Process Equivalence = Equation Solving in CCS. J. Autom. Reasoning 43(1): 53-80 (2009)

G. Sripriya, Alan Bundy, Alan Smaill: Concurrent-distributed programming techniques for SAT using DPLL-stålmarck. HPCS 2009: 168-175

Alan Bundy: Automating Signature Evolution in Logical Theories. AISC/MKM/Calculemus 2008: 333-338

Alan Bundy, Michael Chan: Towards Ontology Evolution in Physics. WoLLIC 2008: 98-110

Alan Bundy: AI Bridges and Dreams. AI Soc. 21(4): 659-668 (2007)

Fiona McNeill, Alan Bundy: Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution. Int. J. Semantic Web Inf. Syst. 3(3): 1-35 (2007)

Alan Bundy: Cooperating Reasoning Processes: More than Just the Sum of Their Parts. IJCAI 2007: 2-11

Predrag Janicic, Alan Bundy: Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM 2007: 80-93

Alan Bundy: A Very Mathematical Dilemma. Comput. J. 49(4): 480-486 (2006)

Roy L. McCasland, Alan Bundy, Patrick F. Smith: Ascertaining Mathematical Theorems. Electr. Notes Theor. Comput. Sci. 151(1): 21-38 (2006)

Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot: Constructing Induction Rules for Deductive Synthesis Proofs. Electr. Notes Theor. Comput. Sci. 153(1): 3-21 (2006)

Alan Bundy, Fiona McNeill: Representation as a Fluent: An AI Challenge for the Next Half Century. IEEE Intelligent Systems 21(3): 85-87 (2006)

Graham Steel, Alan Bundy: Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. J. Autom. Reasoning 36(1-2): 149-176 (2006)

Moa Johansson, Alan Bundy, Lucas Dixon: Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100

Alan Bundy, Fiona McNeill, Christopher Walton: On Repairing Reasoning Reversals via Representational Refinements. FLAIRS Conference 2006: 3-12

Roy L. McCasland, Alan Bundy: MATHsAiD: A Mathematical Theorem Discovery Tool. SYNASC 2006: 17-22

Graham Steel, Alan Bundy: Attacking Group Multicast Key Management Protocols Using Coral. Electr. Notes Theor. Comput. Sci. 125(1): 125-144 (2005)

Mateja Jamnik, Alan Bundy: Psychological Validity of Schematic Proofs. Mechanizing Mathematical Reasoning 2005: 321-341

Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon: Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175

Alex Blewitt, Alan Bundy, Ian Stark: Automatic verification of design patterns in Java. ASE 2005: 224-232

Alan Bundy: Desert Island Column. Autom. Softw. Eng. 11(1): 91-92 (2004)

Alan Bundy: Planning and Patching Proof. AISC 2004: 26-37

Graham Steel, Alan Bundy, Monika Maidl: Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR 2004: 137-151

Daniel Winterstein, Alan Bundy, Corin A. Gurr: Dr.Doodle: A Diagrammatic Theorem Prover. IJCAR 2004: 331-335

Daniel Winterstein, Alan Bundy, Mateja Jamnik: On Differences between the Real and Physical Plane. Diagrams 2004: 29-31

Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams 2004: 432-434

Jon Whittle, Alan Bundy, Richard J. Boulton: Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. Formal Asp. Comput. 13(3-5): 403-421 (2002)

Predrag Janicic, Alan Bundy: A General Setting for Flexibly Combining and Augmenting Decision Procedures. J. Autom. Reasoning 28(3): 257-305 (2002)

Alan Bundy: A Critique of Proof Planning. Computational Logic: Logic Programming and Beyond 2002: 160-177

Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: Using Animation in Diagrammatic Theorem Proving. Diagrams 2002: 46-60

Louise A. Dennis, Alan Bundy: A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs 2002: 182-197

Raúl Monroy Borja, Alan Bundy: On the Correction of Faulty Formulae. Computación y Sistemas 5(1) (2001)

Steven Willmott, Julian Richardson, Alan Bundy, John Levine: Applying adversarial planning techniques to Go. Theor. Comput. Sci. 252(1-2): 45-82 (2001)

Alan Bundy: The Automation of Proof by Mathematical Induction. Handbook of Automated Reasoning 2001: 845-911

Alex Blewitt, Alan Bundy, Ian Stark: Automatic Verification of Java Design Patterns. ASE 2001: 324-327

Louise A. Dennis, Alan Bundy, Ian Green: Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Ann. Math. Artif. Intell. 29(1-4): 99-138 (2000)

Raul Monroy, Alan Bundy, Ian Green: Planning Proofs of Equations in CCS. Autom. Softw. Eng. 7(3): 263-304 (2000)

Simon Colton, Alan Bundy, Toby Walsh: On the notion of interestingness in automated mathematical discovery. Int. J. Hum.-Comput. Stud. 53(3): 351-375 (2000)

Ian Frank, David A. Basin, Alan Bundy: Combining Knowledge and Search to Solve Single-Suit Bridge. AAAI/IAAI 2000: 195-200

Simon Colton, Alan Bundy, Toby Walsh: Automatic Invention of Integer Sequences. AAAI/IAAI 2000: 558-563

Daniel Winterstein, Alan Bundy, Mateja Jamnik: A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. Diagrams 2000: 286-299

Simon Colton, Alan Bundy, Toby Walsh: Automatic Identification of Mathematical Concepts. ICML 2000: 183-190

Raul Monroy, Alan Bundy, Ian Green: Searching for a Solution to Program Verification=Equation Solving in CCS. MICAI 2000: 1-12

Peter Madden, Alan Bundy, Alan Smaill: Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reasoning 22(1): 65-115 (1999)

Andrew Ireland, Alan Bundy: Automatic Verification of Functions with Accumulating Parameters. J. Funct. Program. 9(2): 225-245 (1999)

Mateja Jamnik, Alan Bundy, Ian Green: On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8(3): 297-321 (1999)

Alan Bundy: A Survey of Automated Deduction. Artificial Intelligence Today 1999: 153-174

Predrag Janicic, Alan Bundy, Ian Green: A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. CADE 1999: 127-141

Dieter Hutter, Alan Bundy: The Design of the CADE-16 Inductive Theorem Prover Contest. CADE 1999: 374-377

Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: System Description: CyNTHIA. CADE 1999: 388-392

Simon Colton, Alan Bundy, Toby Walsh: Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793

Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: An ML Editor Based on Proofs-As-Programs. ASE 1999: 166-173

Alan Bundy, Julian Richardson: Proofs About Lists Using Ellipsis. LPAR 1999: 1-12

Jeremy Gow, Alan Bundy, Ian Green: Extensions to the Estimation Calculus. LPAR 1999: 258-272

Helen Lowe, Michal Pechoucek, Alan Bundy: Proof planning for maintainable configuration systems. AI EDAM 12(4): 345-356 (1998)

Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy: Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Ann. Math. Artif. Intell. 22(3-4): 259-279 (1998)

Weiru Liu, David McBryan, Alan Bundy: The Method of Assigning Incidences. Appl. Intell. 9(2): 139-161 (1998)

Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy: Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. 5(2): 183-210 (1998)

Helen Lowe, Alan Bundy, Duncan McLean: The Use of Proof Planning for Co-operative Theorem Proving. J. Symb. Comput. 25(2): 239-261 (1998)

Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy: System Description: An Interface Between CL^AM and HOL. CADE 1998: 134-138

Steven Willmott, Julian Richardson, Alan Bundy, John Levine: An Adversarial Planning Approach to Go. Computers and Games 1998: 93-112

Raul Monroy, Alan Bundy, Ian Green: Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. ECAI 1998: 393-397

Raul Monroy, Alan Bundy, Ian Green: Planning Equational Verification in CCS. ASE 1998: 43-52

Alan Bundy: A Science of Reasoning (Extended Abstract). TABLEAUX 1998: 10-17

Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon: An Interface between Clam and HOL. TPHOLs 1998: 87-104

Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reasoning 19(3): 319-346 (1997)

Louise A. Dennis, Alan Bundy, Ian Green: Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE 1997: 276-290

Mateja Jamnik, Alan Bundy, Ian Green: Automation of Diagrammatic Reasoning. IJCAI (1) 1997: 528-533

Jon Whittle, Alan Bundy, Helen Lowe: An Editor for Helping Novices to Learn Standard ML. PLILP 1997: 389-405

Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996)

Weiru Liu, Alan Bundy: Constructing probabilistic ATMSs using extended incidence calculus. Int. J. Approx. Reasoning 15(2): 145-182 (1996)

Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reasoning 16(1-2): 113-145 (1996)

Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529

Alan Bundy: Proof Planning. AIPS 1996: 261-267

Andrew Ireland, Alan Bundy: Extensions to a Generalization Critic for Inductive Proof. CADE 1996: 47-61

Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin: Experiments in Automating Hardware Verification Using Inductive Proof Planning. FMCAD 1996: 94-108

R. G. McLean, Alan Bundy, Weiru Liu: Assignment methods for incidence calculus. Int. J. Approx. Reasoning 12(1): 21-41 (1995)

Alan Bundy, Vincent Lombart: Relational Rippling: A General Approach. IJCAI 1995: 175-181

Alan Bundy, Hector MacQueen: The New Software Copyright Law. Comput. J. 37(2): 79-82 (1994)

Weiru Liu, Alan Bundy: A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence. Int. J. Hum.-Comput. Stud. 40(6): 1009-1032 (1994)

Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin: Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI 1994: 85-89

Raul Monroy, Alan Bundy, Andrew Ireland: Proof Plans for the Correction of False Conjectures. LPAR 1994: 54-68

Alan Bundy (Ed.): Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings. Lecture Notes in Computer Science 814, Springer 1994, isbn 3-540-58156-1

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill: Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62(2): 185-253 (1993)

Weiru Liu, Alan Bundy, David Stuart Robertson: Recovering Incedence Functions. ECSQARU 1993: 241-248

Weiru Liu, Alan Bundy, David Stuart Robertson: On the Relations between Incidence Calculus and ATMS. ECSQARU 1993: 249-256

Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Logic Program Synthesis. ICLP 1993: 441-455

David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews: A Framework for Program Development Based on Schematic Proof. IWSSD 1993: 162-171

Peter Madden, Jane Hesketh, Ian Green, Alan Bundy: A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). LOPSTR 1993: 64-66

Alistair Manning, Andrew Ireland, Alan Bundy: Incresing the Versatility of Heuristic Based Theorem Provers. LPAR 1993: 194-204

Alan Bundy: Die Geschichte der Mechanisierung der Logik in der KI (Interview). KI 6(3): 99-101 (1992)

Jane Hesketh, Alan Bundy, Alan Smaill: Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE 1992: 310-324

Toby Walsh, Alex Nunes, Alan Bundy: The Use of Proof Plans to Sum Series. CADE 1992: 325-339

Ian Frank, David A. Basin, Alan Bundy: An Adaptation of Proof-Planning to Declarer Play in Bridge. ECAI 1992: 72-76

Ina Kraan, David A. Basin, Alan Bundy: Logic Program Synthesis via Proof Planning. LOPSTR 1992: 1-14

Alan Bundy: Tutorial Notes: Reasoning about Logic Programs. Logic Programming Summer School 1992: 252-277

David Robertson, Alan Bundy, Robert Muetzelfeldt, Mandy Haggith, Michael Uschold: Eco-Logic - Logic-Based Approaches to Ecological Modeling. Logic programming, MIT Press 1991, isbn 978-0-262-18143-3, pp. 1-243

Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill: Experiments with Proof Plans for Induction. J. Autom. Reasoning 7(3): 303-324 (1991)

Alan Bundy: The Use of Proof Plans for Normalization. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 149-166

Alan Bundy: A Science of Reasoning. Computational Logic - Essays in Honor of Alan Robinson 1991: 178-198

Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh: Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. LOPSTR 1991: 27-45

Alan Bundy: IJCAI Policy on Multiple Publication of Papers Revisited. AI Commun. 3(3): 115 (1990)

Paul Brna, Alan Bundy, Helen Pain: A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. ALPUK 1990: 22-55

Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland: Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146

Alan Bundy: A Science of Reasoning: Extended Abstract. CADE 1990: 633-640

Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill: The Oyster-Clam System. CADE 1990: 647-648

Alan Bundy: The Use of Proof Plans in Formal Methods. DISCO 1990: 151-153

Alan Bundy: IJCAI Policy Statement: IJCAI Policy on Multiple Publication of Papers. AI Magazine 10(1): 73-75 (1989)

David Stuart Robertson, Alan Bundy, Michael Uschold, Robert Muetzelfeldt: The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface. International Journal of Man-Machine Studies 31(1): 1-26 (1989)

Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver: Solving Symbolic Equations with PRESS. J. Symb. Comput. 7(1): 71-84 (1989)

Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens: A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365

Frank van Harmelen, Alan Bundy: Explanation-Based Generalisation = Partial Evaluation. Artif. Intell. 36(3): 401-412 (1988)

Alan Bundy: IJCAI Policy on Multiple Publication of Papers. AI Commun. 1(4): 3-5 (1988)

Alan Bundy: Probability, truth, and logic: reply to Cheeseman. Computational Intelligence 4: 69-70 (1988)

Alan Bundy, Leon Sterling: Meta-Level Inference: Two Applications. J. Autom. Reasoning 4(1): 15-27 (1988)

Alan Bundy: The Use of Explicit Plans to Guide Inductive Proofs. CADE 1988: 111-120

Alan Bundy: A Broader Interpretation of Logic in Logic Programming. ICLP/SLP 1988: 1624-1648

Alan Bundy: AI Bridges and Dreams. AI Soc. 1(1): 62-71 (1987)

Alan Bundy: Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus. J. Autom. Reasoning 2(2): 109-126 (1986)

Alan Bundy, Bernard Silver, Dave Plummer: An Analytical Comparison of Some Rule-Learning Programs. Artif. Intell. 27(2): 137-181 (1985)

Alan Bundy: Incidence Calculus: A Mechanism for Probabilistic Reasoning. J. Autom. Reasoning 1(3): 263-283 (1985)

Alan Bundy: Discovery and Reasoning in Mathematics. IJCAI 1985: 1221-1230

Alan Bundy, Richard Clutterbuck: Raising the Standards of AI Products. IJCAI 1985: 1289-1294

Alan Bundy: A generalized interval package and its use for semantic checking. ACM Trans. Math. Softw. 10(4): 397-409 (1984)

Michael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy: An Intelligent Front End for Ecological Modelling. ECAI 1984: 13-22

Alan Bundy: Incidence Calculus: A Mechanism for Probabilistic Reasoning. FGCS 1984: 166-174

Mary Angela Papalaskaris, Alan Bundy: Topics for Circumscription. NMR 1984: 355-362

Alan Bundy: How to Get the Most Out of IJCAI-83. AI Magazine 4(1): 35-36 (1983)

Alan Bundy: The Nature of AI: A Reply to Schank. AI Magazine 4(4): 29-31 (1983)

Alan Bundy (Ed.): Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983. William Kaufmann 1983

Leon Sterling, Alan Bundy: Meta-Level Inference and Program Verification. CADE 1982: 144-150

Alan Bundy, Lawrence Byrd, Chris Mellish: Special Purpose, but Domain Independent, Inference Mechanisms. ECAI 1982: 67-74

Alan Bundy, Bernard Silver: A Critical Survey of Rule Learning Programs. ECAI 1982: 151-157

Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver: Solving Symbolic Equations with PRESS. EUROCAM 1982: 109-116

Alan Bundy, Bob Welham: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. Artif. Intell. 16(2): 189-212 (1981)

Alan Bundy: What Is the Well-Dressed AI Educator Wearing Now? AI Magazine 3(1): 13-14 (1981)

Alan Borning, Alan Bundy: Using Matching in Algebraic Equation Solving. IJCAI 1981: 466-471

Alan Bundy, Bernard Silver: Homogenization: Preparing Equations for Change of Unknown. IJCAI 1981: 551-553

Alan Bundy, Bob Welham: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. CADE 1980: 24-38

Alan Bundy: Will it Reach the Top? Prediction in the Mechanics World. Artif. Intell. 10(2): 129-146 (1978)

Alan Bundy, George F. Luger, Chris Mellish, Martha Stone Palmer: Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving. AISB/GI (ECAI) 1978: 71-81

Alan Bundy: Can Domain Specific Knowledge Be Generalized? IJCAI 1977: 496

George F. Luger, Alan Bundy: Representing Semantic Information In Pulley Problems. IJCAI 1977: 500

Alan Bundy, George F. Luger, M. Stone, R. Welham: MECHNO, Year one. AISB (ECAI) 1976: 94-103

Alan Bundy: Analysing Mathematical Proofs (Or Reading Between the Lines). IJCAI 1975: 22-28

Alan Bundy: Doing Arithmetic with Diagrams. IJCAI 1973: 130-138