Search Results - Smaill, Alan

Higher order annotated terms for proof search

by Smaill, Alan, Green, Ian

Computing belief revision

by Berendt, Bettina, Smaill, Alan

Extensions to the rippling-out tactic for guiding inductive proofs

by Bundy, Alan, Van Harmelen, Frank, Smaill, Alan

Theorem proving and program synthesis with Oyster

by Horn, Christian, Smaill, Alan

Hierarchical music representation for composition and analysis

by Smaill, Alan, Wiggins, Geraint

Automating the synthesis of functional programs in constructive type theory

by Smaill, Alan, Green, Ian

From meta level tactics to object level programs

by Horn, Christian, Smaill, Alan

Automatic characterisation of musical style

by Westhead, Martin D., Smaill, Alan

On the use of the constructive omega-rule within automated deduction

by Baker, S., Ireland, A., Smaill, Alan

Guiding proof search in logical frameworks with rippling

by Negrete, Santiagao, Smaill, Alan

A proof environment for arithmetic with the omega rule

by Baker, Siani, Smaill, Alan

Music representation, between the musician and the computer

by Smaill, Alan, Wiggins, Geraint, Miranda, Eduardo Reck 1963-

The reactive accompanist: applying subsumption architecture to software design

by Bryson, Joanna, Smaill, Alan, Wiggins, Geraint

Experience with FS0 as a framework theory

by Matthews, Seán, Smaill, Alan, Basin, David A.

Representing music symbolically

by Harris, Mitch, Smaill, Alan, Wiggins, Geraint

The synthesis of logic programs from inductive proofs

by Bundy, Alan, Smaill, Alan, Wiggins, Geraint

Representing music for analysis and composition

by Wiggins, Geraint, Harris, Mitch, Smaill, Alan

An algebraic semantics of Prolog program termination

by Ross, Brian J., Smaill, Alan

Using middle-out reasoning to transform naïve programs into tail-recursive ones

by Hesketh, Jane, Bundy, Alan, Smaill, Alan

Computational Creativity Research: Towards Creative Machines

Other Authors: “…Smaill, Alan…”
Table of Contents

EBook available at UBR
You can use this EBook on site at the UBR.