PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Smaill, Alan"

Author of the publication

copydeleteadd this publication to your clipboard
MAMA: An Architecture for Interactive Musical Agents.

, , and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 36-40. IOS Press, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Smaill, Alan
add a person with the name Smaill, Alan
 

Other publications of authors with the same name

A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments., , and . FUZZ-IEEE, page 1-6. IEEE, (2007)Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain., and . TPHOLs, volume 2152 of Lecture Notes in Computer Science, page 185-200. Springer, (2001)Automation for Dependently Typed Functional Programming., , and . Fundam. Inform., 102 (2): 209-228 (2010)Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm., , and . ASE, page 2-9. IEEE Computer Society, (1997)Towards a model of musical interaction and communication., and . Artif. Intell., 175 (9-10): 1697-1721 (2011)An Algebraic Semantics of Prolog Program Termination., and . ICLP, page 316-330. MIT Press, (1991)MAMA: An Architecture for Interactive Musical Agents., , and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 36-40. IOS Press, (2006)A Systematic Presentation of Quantified Modal Logics., and . Logic Journal of the IGPL, 10 (6): 571-599 (2002)Developments in Research on Mathematical Practice and Cognition., , and . topiCS, 5 (2): 224-230 (2013)Rippling: A Heuristic for Guiding Inductive Proofs., , , , and . Artif. Intell., 62 (2): 185-253 (1993)