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
|
CB440
| 1990 Chapter in Edited Book
| Bundy,A; Smaill,AD; Wiggins,G
|
| the Synthesis of Logic Programs from Inductive Proofs
|
| Edited Book
|
EB191
| 1992 Edited Book
| Wiggins,G; Mellish,CS; Duncan,T
|
| 3rd UK Annual Conference on Logic Programming
|
EB214
| 1992 Edited Book
| Wiggins,G; Mellish,CS; Duncan,T
|
| 3rd UK Conference on Logic Programming
|
| Journal Paper
|
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
|
JP640
| 1993 Journal Paper
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation
|
| Paper in Conference Proceedings
|
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
|
PP863
| 1994 Paper in Conference Proceedings
| Lombart,V; Wiggins,G; Deville,Y
|
| Guiding Synthesis Proofs
|
PP864
| 1994 Paper in Conference Proceedings
| Wiggins,G
|
| Improving the Whelk System: a Type-Theoretic Reconstruction
|
PP620
| 1993 Paper in Conference Proceedings
| Wiggins,G; Lombart,V; Deville,Y
|
| Guiding Synthesis Proofs
|
PP192
| 1992 Paper in Conference Proceedings
| Wiggins,G; Bundy,A; Kraan,H; Hesketh,J
|
| Synthesis and Transformation of Logic Programs Through Constructive, Inductive Proof
|
PP553
| 1990 Paper in Conference Proceedings
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation for Composition and Analysis
|
PP609
| 1989 Paper in Conference Proceedings
| Wiggins,G; Harris,M; Smaill,AD
|
| Representing Music for Analysis and Composition
|
| PhD Thesis
|
PT9031
| 1990 PhD Thesis
| Wiggins,G
|
| An Adaptable Formalism for the Computational Analysis of English Noun Phrase Reference
|
| Research Paper
|
RP882
| 1998 Research Paper
| Wiggins,G; Papadopoulos,GP; Phon-Amnuaisuk,S; Tuson,AL
|
| Evolutionary Methods for Musical Composition
|
RP903
| 1998 Research Paper
| Wiggins,G; Smaill,AD
|
| Musical Knowledge: what can Artificial Intelligence bring to the musician ?
|
RP904
| 1998 Research Paper
| Phon-Amnuaisuk,S; Tuson,AL; Wiggins,G
|
| Evolving Musical Harmonisation
|
RP911
| 1998 Research Paper
| Wiggins,G
|
| The Use of Constraint Systems for Musical Composition
|
RP929
| 1998 Research Paper
| Curry,BD; Wiggins,G
|
| A New Approach to Cooperative Performance: A Preliminary Experiment
|
RP874
| 1997 Research Paper
| Ponsford,D; Wiggins,G; Mellish,CS
|
| Statistical Learning of Harmonic Movement
|
RP733
| 1994 Research Paper
| Ahs,T; Wiggins,G
|
| Rippling with Relational Definitions
|
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
|
RP606
| 1992 Research Paper
| Bryson,JJ; Smaill,AD; Wiggins,G
|
| The Reactive Accompanist: Applying Subsumption Architecture to Software Design
|
RP562
| 1991 Research Paper
| Harris,M; Smaill,AD; Wiggins,G
|
| Representing Music Symbolically
|
RP455
| 1990 Research Paper
| Wiggins,G
|
| The Improvement of Prolog Program Efficiency by Compiling Control: a Proof-Theoretic View
|
RP501
| 1990 Research Paper
| Bundy,A; Smaill,AD; Wiggins,G
|
| The Synthesis of Logic Programs from Inductive Proofs
|
RP511
| 1990 Research Paper
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation for Composition and Analysis
|
RP504
| 1989 Research Paper
| Wiggins,G; Harris,M; Smaill,AD
|
| Representing Music for Analysis and Composition
|