Please note that only papers and publications recorded in this departments
database are shown here. An author may have many other papers and
publications produced while working elsewhere which are not listed here.
This page does not therefore represent a definitive list of this authors
work.

 Authored Book

AB90
 1991 Authored Book
 Robertson,DS; Bundy,A; Muetzelfeldt,R; Haggith,MC; Uschold,M

 EcoLogic: LogicBased Approaches to Ecological Modelling

AB344
 1989 Authored Book
 Sherman,B; Sieghart,P; Bundy,A; Boden,M; Sharples,M; Cooley,M; Dawson,D; Hopson,D; Neuberger,J

 the Benefits and Risks of Knowledge Based Systems

 Chapter in Edited Book

CB1058
 1996 Chapter in Edited Book
 Bundy,A

 Prospects for Artificial Intelligence

CB873
 1996 Chapter in Edited Book
 Bundy,A

 Prospects for AI

CB617
 1993 Chapter in Edited Book
 Lui,W; Bundy,A; Robertson,DS

 Recovering Incidence Functions

CB618
 1993 Chapter in Edited Book
 Lui,W; Bundy,A; Robertson,DS

 On the Relations Between Incidence Calculus and AIMS

CB234
 1992 Chapter in Edited Book
 Bundy,A

 Tutorial Notes: Reasoning about Logic Programs

CB238
 1992 Chapter in Edited Book
 Bundy,A

 Incidence Calculus

CB2
 1991 Chapter in Edited Book
 Bundy,A

 a Science of Reasoning

CB3
 1991 Chapter in Edited Book
 Bundy,A

 the Use of Proof Plans for Normalization

CB440
 1990 Chapter in Edited Book
 Bundy,A; Smaill,AD; Wiggins,G

 the Synthesis of Logic Programs from Inductive Proofs

CB451
 1990 Chapter in Edited Book
 Bundy,A

 What Kind of Field is Artificial Intelligence

CB530
 1990 Chapter in Edited Book
 Ohlsson,S; Bundy,A

 the Nature of AI Principles

CB543
 1989 Chapter in Edited Book
 Robertson,DS; Bundy,A; Uschold,M; Muetzelfeldt,M

 Helping Inexperienced Users to Construct Simulation Programs: An Overview of the ECO Project

 Edited Book

EB746
 1994 Edited Book
 Bundy,A

 Automated Deduction  Cade12, Lecture Notes in AI No. 814

EB871
 1994 Edited Book
 Boden,M; Bundy,A; Needham,R

 AI and the Mind: Non Breakthroughs or DeadEnds?

EB123
 1992 Edited Book
 Brna,P; Bundy,A; Pain,HG

 a Framework for the Principled Debugging of Prolog Programs: How to Debug NonTerminating Programs

EB453
 1990 Edited Book
 Bundy,A

 Catalogue of Artificial Intelligence Techniques (3rd Revised Edition)

 Informatics Series Report

0001
 1999 Informatics Series Report
 ; Bundy,A

 A Survey of Automated Deduction

0002
 1999 Informatics Series Report
 Bundy,A

 The Automation Of Proof By Mathematical Induction

0003
 1999 Informatics Series Report
 Bundy,A; Richardson,J

 Proofs About Lists Using Ellipsis

0004
 1999 Informatics Series Report
 Dennis,L; Bundy,A; Green,I

 Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts

 Journal Paper

JP1194
 1997 Journal Paper
 Bundy,A; Giunchiglia,F; Villafiorita,F; Walsh,T

 Abstract proof checking: an example motivated by an Incompleteness Theorem (RP809)

JP1059
 1996 Journal Paper
 Liu,W; Bundy,A

 Constructing Probabilistic (ATMS) using Incidence Calculus

JP1060
 1996 Journal Paper
 Ireland,A; Bundy,A

 Productive Use of Failure in ......Proof

JP1061
 1996 Journal Paper
 Kraan,I; Basin,D; Bundy,A

 MiddleOut Reasoning for Synthesis and Induction

JP1062
 1996 Journal Paper
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Calculating Criticalities

JP875
 1995 Journal Paper
 McLean,R; Bundy,A; Liu,W

 Assignment Methods for Incidence Calculus

JP743
 1994 Journal Paper
 Bundy,A

 What is the Difference between Ral Creativity and Mere Novelty

JP744
 1994 Journal Paper
 MacQueen,H; Bundy,A

 the New Software Copyright Law

JP745
 1994 Journal Paper
 Liu,W; Bundy,A

 a Comprehensive Comparison between Generalized Incidence Calculus and the DempsterShafer Theory of Evidence

JP870
 1994 Journal Paper
 Bundy,A

 a Subsumption Architecture for Theorem Proving

JP128
 1993 Journal Paper
 Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD

 Rippling: a Heuristic for Guiding Inductive Proofs

JP335
 1993 Journal Paper
 Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD

 Rippling: a Heuristic for Guiding Inductive Proofs

JP25
 1991 Journal Paper
 Brna,P; Brayshaw,M; Bundy,A; Dodd,T; ElsomCook,M; Fung,P

 An Overview of Prolog Debugging Tools

JP26
 1991 Journal Paper
 Smith,B; van Someren,M; Brna,P; Bundy,A; Dodd,T; Eisenstadt,M; Looi,C; Pain,HG; Robertson,DS

 Prolog Programming Techniques

JP27
 1991 Journal Paper
 Bundy,A; Grosse,G; Brna,P

 a Recursive Techniques Editor for Prolog

JP28
 1991 Journal Paper
 Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD

 Experiments with Proof Plans for Induction

JP345
 1989 Journal Paper
 Bundy,A; Sterling,L; O'Keefe,R; Silver,B

 Solving Symbolic Equations with Press

JP412
 1989 Journal Paper
 Muetzelfeldt,R; Robertson,DS; Uschold,M; Bundy,A

 the Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling

JP542
 1989 Journal Paper
 Robertson,DS; Bundy,A; Uschold,M; Muetzelfeldt,B

 the ECO Program Construction System: Ways of Increasing its Representation Power and Their Affects on the User Interface

 Paper in Conference Proceedings

PP1159
 1997 Paper in Conference Proceedings
 Boulton,R; Bundy,A; Slind,A; Gordon,M

 A Prototype Interface between CLAM and HOL

PP1195
 1997 Paper in Conference Proceedings
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Reasoning

PP1201
 1997 Paper in Conference Proceedings
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Proofs in Mathematics

PP1202
 1997 Paper in Conference Proceedings
 Janicic,; Green,I; Bundy,A

 A Comparison of decision procedures in Presburger arithmetic

PP1203
 1997 Paper in Conference Proceedings
 Pechoucek,M; Lowe,H; Bundy,A

 Proof Planning and Industrial Configuration

PP1204
 1997 Paper in Conference Proceedings
 Whittle,JN; Bundy,A; Lowe,H

 Supporting Programming by Analogy in the Learning of Functional Programming Languages

PP1205
 1997 Paper in Conference Proceedings
 Whittle,JN; Bundy,A; Lowe,H

 An Editor for helping Novices to Learn Standard {ML}

PP1054
 1996 Paper in Conference Proceedings
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Computing Abstraction Hierarchies by Numerical Simulation

PP1055
 1996 Paper in Conference Proceedings
 Cantu Ortiz,F; Bundy,A; Smaill,AD; Basin,D

 Experiments in Automating Hardware Verification using Inductive Proof Planning

PP874
 1995 Paper in Conference Proceedings
 Bundy,A; Lombart,V

 Relational Rippling: a General Approach

PP718
 1994 Paper in Conference Proceedings
 MonroyBorja,R; Bundy,A; Ireland,A

 Proof Plans for the Correction of False Conjectures

PP742
 1994 Paper in Conference Proceedings
 Yoshida,T; Green,I; Walsh,T; Basin,D; Bundy,A

 Coloured Rippling: An Extension of a Theorem Proving Heuristic

PP197
 1993 Paper in Conference Proceedings
 Kraan,I; Bundy,A; Basin,D

 Logic Program Synthesis from Proof Planning

PP610
 1993 Paper in Conference Proceedings
 Manning,H; Ireland,A; Bundy,A

 Increasing the Versatility of Heuristic Based Theorem Provers

PP611
 1993 Paper in Conference Proceedings
 Basin,D; Bundy,A; Kraan,I; Matthews,S

 a Framework for Program Development Based on Schematic Proof

PP612
 1993 Paper in Conference Proceedings
 Kraan,I; Basin,D; Bundy,A

 Middleout Reasoning for Logic Program Syntehsis

PP616
 1993 Paper in Conference Proceedings
 Madden,P; Hesketh,J; Green,I; Bundy,A

 a General Technique for Automatically Optimizing Programs through the Use of Proof Plans

PP146
 1992 Paper in Conference Proceedings
 Hesketh,J; Bundy,A; Smaill,AD

 Using Middleout Reasoning to Control the Synthesis of Tail Recursive Programs

PP185
 1992 Paper in Conference Proceedings
 Walsh,T; Nunes,A; Bundy,A

 the Use of Proof Plans to Sum Series

PP192
 1992 Paper in Conference Proceedings
 Wiggins,G; Bundy,A; Kraan,H; Hesketh,J

 Synthesis and Transformation of Logic Programs Through Constructive, Inductive Proof

PP233
 1992 Paper in Conference Proceedings
 Bundy,A; Brna,P; Pain,HG

 a Framework for the Principled Debugging of PROLOG Programs: How to Debug NonTerminating Programs

PP235
 1992 Paper in Conference Proceedings
 Bundy,A; Hesketh,J; Smaill,AD

 Using Middleout Reasoning to Transform Naive Programs into TailRecursive Ones

PP236
 1992 Paper in Conference Proceedings
 Bundy,A; Walsh,T; Nunes,A

 the Use of Proof Plans to Sum Series

PP237
 1992 Paper in Conference Proceedings
 Bundy,A; Frank,I; Basin,D

 An Adaption of Proof Planning to Declarer Play in Bridge

PP439
 1990 Paper in Conference Proceedings
 Bundy,A; Smaill,AD; Hesketh,J

 Turning Eureka Steps into Calculations in Automatic Program Synthesis

PP441
 1990 Paper in Conference Proceedings
 Bundy,A; Smaill,AD; van Harmelen,F

 Extensions to the Ripplingout Tactic for Guiding Inductive Proofs

PP443
 1990 Paper in Conference Proceedings
 Bundy,A; van Harmelen,F; Horn,C; Smaill,AD

 The Oyster Clam System

PP452
 1990 Paper in Conference Proceedings
 Bundy,A

 the Use of Proof Plans in Formal Methods

PP454
 1990 Paper in Conference Proceedings
 Bundy,A; van Harmelen,F; Smaill,AD; Ireland,A

 Extensions to the RipplingOut Tactic for Guiding Inductive Proofs

PP463
 1990 Paper in Conference Proceedings
 Correa da Silva,FS; Bundy,A

 On Some Equivalence Relations Between Incidence Calculus and DempsterShafer Theory of Evidence

PP346
 1989 Paper in Conference Proceedings
 Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD; Stevens,A

 a Rational Reconstruction and Extension of Recursion Analysis

 Research Paper

RP939
 1999 Research Paper
 Whittle,JN; Bundy,A; Boulton,R; Lowe,H

 An ML Editor Based on ProofsasPrograms

RP944
 1999 Research Paper
 Colton,SG; Bundy,A

 Automatic Concept Formation in Pure Mathematics

RP949
 1999 Research Paper
 Bundy,A; Richardson,J

 Proof Planning Methods as Schemas

RP950
 1999 Research Paper
 Bundy,A

 A Survey of Automated Deduction

RP951
 1999 Research Paper
 Bundy,A

 The Automation of Proof by Mathematical Induction

RP880
 1998 Research Paper
 Bundy,A

 The Termination of Rippling and Unblocking

RP884
 1998 Research Paper
 Ireland,A; Bundy,A

 Automatic Verification of Functions with Accumulating Parameters

RP885
 1998 Research Paper
 Slind,K; Gordon,M; Boulton,R; Bundy,A

 System Description: an Interface Between Clam and Hol

RP886
 1998 Research Paper
 Bundy,A

 Proof Planning

RP888
 1998 Research Paper
 Melis,E; Bundy,A

 Planning and Proof Planning

RP889
 1998 Research Paper
 Willmott,SN; Bundy,A; Levine,J; Richardson,J

 Adversarial Planning in Complex Domains

RP905
 1998 Research Paper
 MonroyBorja,R; Bundy,A; Green,I

 Observant: an Annotated TermRewriting System for Deciding Observation Congruence

RP908
 1998 Research Paper
 Bundy,A

 The Automation of Proof by Mathematical Induction

RP910
 1998 Research Paper
 Jamnik,M; Bundy,A; Green,I

 On Automating Diagrammatic Proofs of Arithmetic Arguments

RP920
 1998 Research Paper
 Bundy,A; Colton,SG; Walsh,T

 HR  A System for Machine Discovery in Finite Algebras

RP924
 1998 Research Paper
 Jamnik,M; Bundy,A; Green,I

 Verification of Diagrammatic Proofs

RP934
 1998 Research Paper
 Armando,A; Gallagher,J; Smaill,AD; Bundy,A

 Automating the synthesis of decision procedures in a constructive metatheory

RP854
 1997 Research Paper
 Boulton,R; Bundy,A; Slind,K; Gordon,M

 A Prototype Interface Between Clam and Hol

RP858
 1997 Research Paper
 Whittle,JN; Bundy,A; Lowe,H

 An Editor for Helping Novices to Learn Standard Ml

RP859
 1997 Research Paper
 Lowe,H; Pechoucek,M; Bundy,A

 Proof Planning and Configuration

RP866
 1997 Research Paper
 Colton,SG; Cresswell,SN; Bundy,A

 The Use of Classification in Automated Mathematical Concept Formation

RP871
 1997 Research Paper
 Pechoucek,M; Lowe,H; Bundy,A

 Proof Planning and Industrial Configuration

RP872
 1997 Research Paper
 Janicic,P; Green,I; Bundy,A

 A Comparison of Decision Procedures in Presburger Arithmetic

RP873
 1997 Research Paper
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Reasoning

RP878
 1997 Research Paper
 Lowe,H; Pechoucek,M; Bundy,A

 Proof Planning for Maintainable Configuration Systems

RP781
 1996 Research Paper
 MonroyBorja,R; Bundy,A; Ireland,A; Hesketh,J

 Proof Planning the Verification of Ccs Programs

RP786
 1996 Research Paper
 Ireland,A; Bundy,A

 Extensions to a Generalization Critic for Inductive Proof

RP807
 1996 Research Paper
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Calculating Criticalities

RP808
 1996 Research Paper
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Computing Abstraction Hierarchies by Numerical Simulation

RP809
 1996 Research Paper
 Bundy,A; Giunchiglia,F; Villafiorti,A; Walsh,T

 An Incompleteness Theorem Via Abstraction

RP813
 1996 Research Paper
 Liu,W; Bundy,A

 Constructing Probalistic Atms Using Extended Incidence Calculus

RP823
 1996 Research Paper
 Hesketh,J; Robertson,DS; Fuchs,N; Bundy,A

 Automating Reasoning Support for Design

RP828
 1996 Research Paper
 ,; Bundy,A; Smaill,AD; Basin,D

 Experiments in Automating Hardware Verification Using Inductive Proof Planning

RP834
 1996 Research Paper
 Dennis,L; Bundy,A; Green,I

 Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs

RP835
 1996 Research Paper
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Proofs in Mathematics

RP836
 1996 Research Paper
 Bundy,A; Green,I

 An Experimental Comparison of Rippling and Exhaustive Rewriting

RP729
 1995 Research Paper
 Kraan,I; Basin,D; Bundy,A

 MiddleOut Reasoning for Synthesis and Induction

RP745
 1995 Research Paper
 Lowe,H; Bundy,A; McLean,D

 The Use of Proof Planning for Cooperative Theorem Proving

RP774
 1995 Research Paper
 Bundy,A

 A Subsumption Architecture for Theorem Proving

RP779
 1995 Research Paper
 Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D

 Coloured Rippling: an Extension of a Theorem Proving Heuristic

RP681
 1994 Research Paper
 MonroyBorja,R; Bundy,A; Ireland,A

 Proof Plans for the Correction of False Conjectures

RP716
 1994 Research Paper
 Ireland,A; Bundy,A

 Productive Use of Failure in Inductive Proof

RP633
 1993 Research Paper
 Manning,AJ; Ireland,A; Bundy,A

 Increasing the Versatility of Heuristic Based Theorem Provers

RP638
 1993 Research Paper
 Kraan,I; Basin,D; Bundy,A

 MiddleOut Reasoning for Logic Program Synthesis

RP644
 1993 Research Paper
 Madden,P; Bundy,A

 General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving

RP648
 1993 Research Paper
 Liu,W; Bundy,A; Robertson,DS

 Recovering Incidence Functions

RP649
 1993 Research Paper
 McLean,RG; Bundy,A; Liu,W

 Assignment Methods for Incidence Calculus

RP654
 1993 Research Paper
 Basin,D; Bundy,A; Kraan,I; Matthews,S

 A Framework for Program Development Based on Schematic Proof

RP669
 1993 Research Paper
 Bundy,A

 Can Theorem Proving Keep the Planes Flying ?

RP671
 1993 Research Paper
 Bundy,A; MacQueen,H

 The New Software Copyright Law

RP672
 1993 Research Paper
 Bundy,A

 What is the Difference Between Real Creativity and Mere Novelty ?

RP677
 1993 Research Paper
 Bundy,A

 Prospects for Artificial Intelligence

RP575
 1992 Research Paper
 Frank,I; Basin,D; Bundy,A

 An Adaptation of ProofPlanning to Declarer Play in Bridge

RP587
 1992 Research Paper
 Bundy,A

 Clear Thinking About Artificial Intelligence

RP599
 1992 Research Paper
 Liu,W; Bundy,A

 The Combination of Different Pieces of Evidence Using Incidence Calculus

RP600
 1992 Research Paper
 Bundy,A

 How to Solve it by Induction

RP602
 1992 Research Paper
 Bundy,A

 Tutorial Notes: Reasoning About Logic Programs

RP603
 1992 Research Paper
 Kraan,I; Basin,D; Bundy,A

 Logic Program Synthesis Via Proof Planning

RP607
 1992 Research Paper
 Bundy,A

 'Semantic Procedure' is an Oxymoron

RP608
 1992 Research Paper
 Madden,P; Hesketh,J; Green,I; Bundy,A

 A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans

RP611
 1992 Research Paper
 Liu,W; Bundy,A; Robertson,DS

 On the Relationship Between Incidence Calculus and Atms

RP613
 1992 Research Paper
 Ireland,A; Bundy,A

 Using Failure to Guide Inductive Proof

RP517
 1991 Research Paper
 Correa da Silva,FS; Bundy,A

 A Rational Reconstruction of Incidence Calculus

RP563
 1991 Research Paper
 Walsh,T; Nunes,A; Bundy,A

 The Use of Proof Plans to Sum Series

RP567
 1991 Research Paper
 Bundy,A; Stevens,A; van Harmelen,F

 Rippling: a Heuristic for Guiding Inductive Proofs

RP459
 1990 Research Paper
 Bundy,A; van Harmelen,F; Smaill,AD

 Extensions to the RipplingOut Tactic for Guiding Inductive Proofs

RP470
 1990 Research Paper
 Correa da Silva,FS; Bundy,A

 On Some Equivalence Relations Between Incidence Calculus and DemsterSchafer Theory of Evidence

RP472
 1990 Research Paper
 Brna,P; Bundy,A; Pain,HG

 A Framework for the Principled Debugging of Prolog Programs: How to Debug NonTerminating Programs

RP497
 1990 Research Paper
 Bundy,A

 Incidence Calculus

RP498
 1990 Research Paper
 Bundy,A

 On the Nature of Mathematical Judgement: Reply to Penrose

RP501
 1990 Research Paper
 Bundy,A; Smaill,AD; Wiggins,G

 The Synthesis of Logic Programs from Inductive Proofs

RP506
 1990 Research Paper
 Bundy,A; Giunchiglia,F; Walsh,T

 Building Abstractions

RP507
 1990 Research Paper
 Bundy,A; van Harmelen,F; Horn,C; Smaill,AD

 The OysterClam System

RP512
 1990 Research Paper
 Hesketh,J; Bundy,A; Smaill,AD

 Using MiddleOut Reasoning to Transform Naive Programs into TailRecursive Ones

RP513
 1990 Research Paper
 Bundy,A

 The Use of Proof Plans for Normalization

RP445
 1989 Research Paper
 Bundy,A

 A Science of Reasoning

RP446
 1989 Research Paper
 Bundy,A; Uschold,M

 The Use of Typed Lambada Calculus for Requirements Capture in the Domain of Ecological Modelling

RP448
 1989 Research Paper
 Bundy,A; Smaill,AD; Hesketh,J

 Turning Eureka Steps into Calculations in Automatic Program Synthesis

 Review Article

RA1208
 1997 Review Article
 Bundy,A

 Encyclopaedia of Mathematics, Supplement 1

 Teaching Paper

TE4
 Teaching Paper
 Bundy,A; du Boulay,B; Howe,J; Plotkin,G

 The Researchers' Bible

 Technical Paper

TP1
 1988 Technical Paper
 Robertson,DS; Bundy,A; Muetzelfeldt,B; Uschold,M

 The Ecologic System

TP3
 1988 Technical Paper
 Brna,P; Bundy,A; Pain,HG

 Prolog: a Survey of Available Tools

 Working Paper

WP216
 1988 Working Paper
 Robertson,DS; Bundy,A; Muetzelfeldt,B; Uschold,M

 The Ecologic System  See Technical Paper

WP212
 1987 Working Paper
 Brna,P; Bundy,A; Pain,HG; Lynch,L

 Impurities and the Proposed Prolog Story



RP953
 1999
 Bundy,A; Gow,JI; Green,I

 Extensions to the Estimation Calculus
