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
|
| Eco-Logic: Logic-Based 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 - Cade-12, Lecture Notes in AI No. 814
|
EB871
| 1994 Edited Book
| Boden,M; Bundy,A; Needham,R
|
| AI and the Mind: Non Breakthroughs or Dead-Ends?
|
EB123
| 1992 Edited Book
| Brna,P; Bundy,A; Pain,HG
|
| a Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating 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
|
| Middle-Out 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 Dempster-Shafer 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; Elsom-Cook,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
| Monroy-Borja,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
|
| Middle-out 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 Middle-out 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 Non-Terminating Programs
|
PP235
| 1992 Paper in Conference Proceedings
| Bundy,A; Hesketh,J; Smaill,AD
|
| Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive 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 Rippling-out 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 Rippling-Out 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 Dempster-Shafer 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 Proofs-as-Programs
|
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
| Monroy-Borja,R; Bundy,A; Green,I
|
| Observant: an Annotated Term-Rewriting 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
| Monroy-Borja,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
|
| Middle-Out 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
| Monroy-Borja,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
|
| Middle-Out 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 Proof-Planning 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 Rippling-Out Tactic for Guiding Inductive Proofs
|
RP470
| 1990 Research Paper
| Correa da Silva,FS; Bundy,A
|
| On Some Equivalence Relations Between Incidence Calculus and Demster-Schafer 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 Non-Terminating 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 Oyster-Clam System
|
RP512
| 1990 Research Paper
| Hesketh,J; Bundy,A; Smaill,AD
|
| Using Middle-Out Reasoning to Transform Naive Programs into Tail-Recursive 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
|