( en | de | ru )

 

Disambiguation of "Smaill, Alan"

Author of the publication

copydeleteadd this publication to your clipboard
Musical Knowledge: What can Artificial Intelligence Bring to the Musician?

, and . Readings in Music and Artificial Intelligence, Harwood Academic publishers, (2000)

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.

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

Bertold Aland

Viola Alanku

 

Other publications of authors with the same name

An Algebraic Semantics of Prolog Program Termination., and . ICLP, page 316-330. MIT Press, (1991)Agent Protocols as Executable Ontologies., and . MICAI, volume 2972 of Lecture Notes in Computer Science, page 99-108. Springer, (2004)Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 310-324. Springer, (1992)Experiments in Automating Hardware Verification Using Inductive Proof Planning., , , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 94-108. Springer, (1996)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)Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm., , and . ASE, page 2-9. IEEE Computer Society, (1997)Local Search on Random 2+p-SAT., , and . ECAI, page 113-117. IOS Press, (2000)ABC Repair System for Datalog-like Theories., , and . KEOD, page 333-340. SciTePress, (2018)Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm., , and . Autom. Softw. Eng., 6 (4): 329-356 (1999)Backbone Fragility and the Local Search Cost Peak., , and . J. Artif. Intell. Res., (2000)