Higher order annotated terms for proof search von Smaill, Alan, Green, Ian

Computing belief revision von Berendt, Bettina, Smaill, Alan

Extensions to the rippling-out tactic for guiding inductive proofs von Bundy, Alan, Van Harmelen, Frank, Smaill, Alan

Theorem proving and program synthesis with Oyster von Horn, Christian, Smaill, Alan

Hierarchical music representation for composition and analysis von Smaill, Alan, Wiggins, Geraint

Automating the synthesis of functional programs in constructive type theory von Smaill, Alan, Green, Ian

From meta level tactics to object level programs von Horn, Christian, Smaill, Alan

Automatic characterisation of musical style von Westhead, Martin D., Smaill, Alan

On the use of the constructive omega-rule within automated deduction von Baker, S., Ireland, A., Smaill, Alan

Guiding proof search in logical frameworks with rippling von Negrete, Santiagao, Smaill, Alan

A proof environment for arithmetic with the omega rule von Baker, Siani, Smaill, Alan

Music representation, between the musician and the computer von Smaill, Alan, Wiggins, Geraint, Miranda, Eduardo Reck 1963-

The reactive accompanist applying subsumption architecture to software design von Bryson, Joanna, Smaill, Alan, Wiggins, Geraint

Experience with FS0 as a framework theory von Matthews, Seán, Smaill, Alan, Basin, David A.

Representing music symbolically von Harris, Mitch, Smaill, Alan, Wiggins, Geraint

The synthesis of logic programs from inductive proofs von Bundy, Alan, Smaill, Alan, Wiggins, Geraint

Representing music for analysis and composition von Wiggins, Geraint, Harris, Mitch, Smaill, Alan

An algebraic semantics of Prolog program termination von Ross, Brian J., Smaill, Alan

Using middle-out reasoning to transform naïve programs into tail-recursive ones von Hesketh, Jane, Bundy, Alan, Smaill, Alan

Computational Creativity Research: Towards Creative Machines

Weitere Verfasser:
Volltext öffnen Volltext öffnen