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.
|
| Chapter in Edited Book
|
CB303
| 1992 Chapter in Edited Book
| Smaill,AD
|
| Constructive Logic and Computation
|
CB440
| 1990 Chapter in Edited Book
| Bundy,A; Smaill,AD; Wiggins,G
|
| the Synthesis of Logic Programs from Inductive Proofs
|
CB375
| 1989 Chapter in Edited Book
| Giunchiglia,F; Smaill,AD
|
| Reflection in Constructive and Non Constructive Automated Reasoning
|
| Edited Book
|
EB866
| 1994 Edited Book
| Smith,M; Mellish,CS; Smaill,AD
|
| Music Education: An Artificial Intelligence Perspective, Edinburgh 1993
|
| Journal Paper
|
JP1068
| 1996 Journal Paper
| Mota,Ed; Robertson,DS; Smaill,AD
|
| NatureTime: Temporal Granularity in Simulation of Ecosystems
|
JP128
| 1993 Journal Paper
| Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
JP322
| 1993 Journal Paper
| Smaill,AD; Wiggins,G; Harris,M
|
| Hierarchical Music Representation for Analysis and Composition
|
JP323
| 1993 Journal Paper
| Smaill,AD; Wiggins,G; Miranda,E; Harris,M
|
| a Framework for the Evaluation of Music Representation Systems
|
JP335
| 1993 Journal Paper
| Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
JP640
| 1993 Journal Paper
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation
|
JP28
| 1991 Journal Paper
| Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD
|
| Experiments with Proof Plans for Induction
|
| Paper in Conference Proceedings
|
PP1039
| 1996 Paper in Conference Proceedings
| Smaill,AD; Green,I
|
| Higher-Order Annotated Terms for Proof Search
|
PP1055
| 1996 Paper in Conference Proceedings
| Cantu Ortiz,F; Bundy,A; Smaill,AD; Basin,D
|
| Experiments in Automating Hardware Verification using Inductive Proof Planning
|
PP1056
| 1996 Paper in Conference Proceedings
| Smaill,AD; Green,I
|
| Higher-Order Annotated Terms for Proof Search
|
PP924
| 1995 Paper in Conference Proceedings
| Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
|
| Time Granularity in Simulation Models of Ecological Systems
|
PP861
| 1994 Paper in Conference Proceedings
| Smaill,AD; Wiggins,G; Miranda,Y
|
| Music Representation - Between the Musician and the Computer
|
PP862
| 1994 Paper in Conference Proceedings
| Richards,B; Kraan,I; Smaill,AD; Wiggins,G
|
| Mollusc: a General Proof Development Shell for Sequent Based Logics
|
PP867
| 1994 Paper in Conference Proceedings
| Negere,S; Smaill,AD
|
| Guiding Proof Search in Logical Frameworks with Rippling
|
PP868
| 1994 Paper in Conference Proceedings
| Westhead,M; Smaill,AD
|
| Automatic Characterisation of Musical Style
|
PP113
| 1992 Paper in Conference Proceedings
| Baker,S; Ireland,A; Smaill,AD
|
| On the Use of the Constructive Omega-Rule within Automated Deduction
|
PP117
| 1992 Paper in Conference Proceedings
| Basin,D; Smaill,AD; Matthews,S
|
| Experience with FSo as a Framework Theory
|
PP146
| 1992 Paper in Conference Proceedings
| Hesketh,J; Bundy,A; Smaill,AD
|
| Using Middle-out Reasoning to Control the Synthesis of Tail Recursive Programs
|
PP147
| 1992 Paper in Conference Proceedings
| Horn,C; Smaill,AD
|
| Theorem Proving and Program Synthesis with OYSTER
|
PP235
| 1992 Paper in Conference Proceedings
| Bundy,A; Hesketh,J; Smaill,AD
|
| Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive Ones
|
PP92
| 1991 Paper in Conference Proceedings
| Ross,B; Smaill,AD
|
| An Algebraic Semantics of Prolog Program Termination
|
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
|
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
|
PP553
| 1990 Paper in Conference Proceedings
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation for Composition and Analysis
|
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
|
PP609
| 1989 Paper in Conference Proceedings
| Wiggins,G; Harris,M; Smaill,AD
|
| Representing Music for Analysis and Composition
|
| Research Paper
|
RP903
| 1998 Research Paper
| Wiggins,G; Smaill,AD
|
| Musical Knowledge: what can Artificial Intelligence bring to the musician ?
|
RP934
| 1998 Research Paper
| Armando,A; Gallagher,J; Smaill,AD; Bundy,A
|
| Automating the synthesis of decision procedures in a constructive metatheory
|
RP799
| 1996 Research Paper
| Smaill,AD; Green,I
|
| Higher-Order Annotated Terms for Proof Search
|
RP828
| 1996 Research Paper
| ,; Bundy,A; Smaill,AD; Basin,D
|
| Experiments in Automating Hardware Verification Using Inductive Proof Planning
|
RP740
| 1995 Research Paper
| Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
|
| Time Granularity in Simulation Models of Ecological Systems
|
RP750
| 1995 Research Paper
| Negrete-Yankelevich,S; Smaill,AD
|
| Guiding Proof Search in Logical Frameworks with Rippling
|
RP777
| 1995 Research Paper
| Smaill,AD; Green,I
|
| Automating the Synthesis of Functional Programs in Constructive Type Theory
|
RP723
| 1994 Research Paper
| Richards,B; Kraan,I; Smaill,AD; Wiggins,A
|
| Mollusc a General Proof-Development Shell for Sequent-Based Logics
|
RP727
| 1994 Research Paper
| Horn,C; Smaill,AD
|
| From Meta-Level Tactics to Object-Level Programs
|
RP645
| 1993 Research Paper
| Baker,S; Smaill,AD
|
| A Proof Environment for Arithmetic with the Omega Rule
|
RP658
| 1993 Research Paper
| Wiggins,G; Miranda,E; Smaill,AD; Harris,M
|
| Surveying Musical Representation Systems: a Framework for Evaluation
|
RP667
| 1993 Research Paper
| Smaill,AD; Wiggins,G; Miranda,E
|
| Music Representation - Between the Musician and the Computer
|
RP668
| 1993 Research Paper
| Westhead,M; Smaill,AD
|
| Automatic Characterisation of Musical Style
|
RP606
| 1992 Research Paper
| Bryson,JJ; Smaill,AD; Wiggins,G
|
| The Reactive Accompanist: Applying Subsumption Architecture to Software Design
|
RP609
| 1992 Research Paper
| Berendt,B; Smaill,AD
|
| Computing Belief Revision
|
RP544
| 1991 Research Paper
| Matthews,S; Smaill,AD; Basin,D
|
| Experience with Fso as a Framework Theory
|
RP560
| 1991 Research Paper
| Baker,S; Ireland,A; Smaill,AD
|
| On the Use of the Constructive Omega-Rule Within Automated Deduction
|
RP562
| 1991 Research Paper
| Harris,M; Smaill,AD; Wiggins,G
|
| Representing Music Symbolically
|
RP459
| 1990 Research Paper
| Bundy,A; van Harmelen,F; Smaill,AD
|
| Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
|
RP501
| 1990 Research Paper
| Bundy,A; Smaill,AD; Wiggins,G
|
| The Synthesis of Logic Programs from Inductive Proofs
|
RP505
| 1990 Research Paper
| Horn,C; Smaill,AD
|
| Theorem Proving and Program Synthesis with Oyster
|
RP507
| 1990 Research Paper
| Bundy,A; van Harmelen,F; Horn,C; Smaill,AD
|
| The Oyster-Clam System
|
RP510
| 1990 Research Paper
| Ross,B; Smaill,AD
|
| An Algebraic Semantics of Prolog Program Termination
|
RP511
| 1990 Research Paper
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation for Composition and Analysis
|
RP512
| 1990 Research Paper
| Hesketh,J; Bundy,A; Smaill,AD
|
| Using Middle-Out Reasoning to Transform Naive Programs into Tail-Recursive Ones
|
RP448
| 1989 Research Paper
| Bundy,A; Smaill,AD; Hesketh,J
|
| Turning Eureka Steps into Calculations in Automatic Program Synthesis
|
RP504
| 1989 Research Paper
| Wiggins,G; Harris,M; Smaill,AD
|
| Representing Music for Analysis and Composition
|