CARLA: Knowledge acquisition and induction for computer assisted composition

References

• Balaban , M. and Murray , N. 1987 . Time structures , Technical report 87–24 New York : University at Albany .
   Google Scholar
• Balaban , M. 1988 . The TTS Language for Music Description . Man‐Machine Studies , 28 : 505 – 523 .
   Google Scholar
• Balaban , M. 1989a . Music structures: a temporal‐hierearchial representation for music , Technical report FC‐TR‐021 MCS‐313 Beer Sheva, , Israel : Ben Gurion University of the Negev .
   Google Scholar
• Balaban , M. 1989b . The cross fertilization relationship between music and AI , Technical report FC‐TR‐022 MCS‐314 Beer Sheva, , Israël : Ben Gurion University of the Negev .
   Google Scholar
• Boulez , P. 1963 . Penser la musique aujourd'hui , Paris : Denoël/Gonthier .
   Google Scholar
• Boulez , P. 1986 . Le système et l'idée , Inharmoniques 1 Paris : Bourgois, Editions du Centre Pompidou .
   Google Scholar
• Boulez , P. 1989 . Jalons (pour une Décennie) , Paris : Christian Bourgois .
   Google Scholar
• Courtot , F. 1991 . Carla: Acquisition et induction sur le matériau compositionnel , Université de Rennes I (France . PhD dissertation
   Google Scholar
• Courtot , F. 1992 . “ Logical Representation and Induction for Computer Assisted Composition ” . In Understanding Music with AI , Edited by: Balaban , M. , Laske , O. and Ebcioglu , K. Menlo Park : AAAI‐Press . (Forthcoming)
   Google Scholar
• Chemillier , M. 1987 . Monoïde Libre et Musique. RAIRO . Informatique théorique et applications , 21 ( 3 ) : 341 – 371 .
   Google Scholar
• Chemillier , M. Langages musicaux et automates ‐ La rationalité du langage sériel . Le Fait Musical ‐ Sciences, Technologies, Pratiques Colloque “Musique et Informatique” . Marseille, France. Edited by: Vecchione , B. and Bel , B. CRSM‐MIM . (Unpublished)
   Google Scholar
• Ferneyhough , B. 1987 . Le temps de la figure . Entretemps , 3 : 127 – 136 . Distributed by J.C. Lattès, L'âge d'homme, Paris
   Google Scholar
• Dufourt , H. 1985 . Musique spectrale . Conséquences , 7–8 : 111 – 116 .
   Google Scholar
• Lachenmann , H. 1986 . L'écoute est désarmée ‐ sans l'écoute . Entretemps , 11 : 79 – 101 . Distributed by J.C. Lattès, L'âge d'homms, Paris
   Google Scholar
• Laske , O. Observations on formalizing musical knowledge . Proceedings of the First Workshop on Al and Music . Minneapolis/St Paul, MI, USA. pp. 1 – 8 .
   Google Scholar
• Laske , O. Articulating musical intuitions by way of rules . Proceedings of the First Workshop on Al and Music IJCAI 1989 . Detroit, MI, USA. pp. 148 – 173 .
   Google Scholar
• Michalski , R. 1983 . A Theory and Methodology of Inductive Learning . Artificial Intelligence , 20 ( 2 ) : 111 – 161 .
   Web of Science ®Google Scholar
• Muggleton , S. Duce, an oracle based approach to constructive induction . Proceedings of IJCAI 1987 . Milano, CA, USA. pp. 287 – 292 . Morgan Kaufmann .
   Google Scholar
• Muggleton , S. and Stirling , D. 1988 . Interactive induction , Glasgow : The Turing Institute . Research Memoranda TTRM‐88–030
   Google Scholar
• Muggleton , S. and Buntine , W. 1988 . Towards Constructive Induction in First‐Order Predicate Calculus , Glasgow : The Turing Institute . Research Memoranda: TIRM‐88–031
   Google Scholar
• Muggleton , S. 1988 . A strategy for constructing new predicates in first‐order logic , Actes de l'EWSL 1988 123 – 130 .
   Google Scholar
• Muggleton , S. and Feng , C. Efficient induction of logic programs . Proceedings of First International Conference on Algorithmic Learning Theory . Tokyo. pp. 369 – 381 . Japanese Society for Artificial Intelligence .
   Google Scholar
• Muggleton , S. 1991 . Inductive Logic Programming , New Generation Computing 8 295 – 318 . OHMSHA & Springer Verlag .
   Google Scholar
• Plotkin , G.D. 1971 . Automated methods of inductive inference , Edinburgh : Edinburgh University Press . PhD dissertation
   Google Scholar
• De Raedt , L. , Sablon , G. , Adé , H. and Bruynooghe , M. 1991 . “ Some thoughts on inverse resolution ” . In Proceedings of international workshop on Inductive Logic Programming , Edited by: Muggleton , S. 83 – 93 . Portugal : Viana de Castelo . 1991
   Google Scholar
• Rouveirol , C. 1990 . “ Saturation: retarder les choix pour inverser la résolution ” . In Actes des cinquièmes journées françaises de l'apprentissage 191 – 212 . Lannion, , France
   Google Scholar
• Rouveirol , C. ITOU: induction of first order theories . Proceedings of international workshop on Inductive Logic Programming . 1991 . pp. 127 – 158 . Portugal : Viana de Castelo .
   Google Scholar
• Rouveirol , C. 1991b . ITOU: induction de théories en ordre 1 , Université de Paris Sud. . PhD dissertation
   Google Scholar
• Shapiro , E. An Algorithm that Infers Theory from Facts . Proceedings of IJCAI 1981 . pp. 446 – 451 .
   Google Scholar
• Shapiro , E. 1982 . Algorithmic Program Debugging , Cambridge, MA : The MIT Press .
   Google Scholar
• Sowa , J.F. 1984 . Conceptual Structures , The systems programming series Reading, MA : Addison‐Wesley .
   Google Scholar
• Stroppa , M. 1988a . “ Musical Information Organisms: an Approach to Composition ” . In La musique et les sciences cognitives , Edited by: McAdams , S. and Deliège , I. 131 – 165 . Lièges‐Bruxelles : Mardaga .
   Google Scholar
• Stroppa , M. 1988b . Structure, Categorisation, Generation and Selection of Vertical Pitch Structures , Paris : IRCAM . Internal document
   Google Scholar
• Stroppa , M. Une représentation de structures temporelles par synchronisation de pivots . Le Fait Musical ‐ Sciences, Technologies, Pratiques Colloque “Musique et Informatique” (MAI 90) . Marseille, France. Edited by: Vecchione , B. and Bel , B. (Unpublished)
   Google Scholar