The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents Authored by: Alan Smaill

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


[Search These Pages] [DAI Home Page] [Comment]