On the role of artificial intelligence in music research

References

• Adorni , G. , Camurri , A. , Poggi , A. and Zaccaria , R. Integrating spatio‐temporal knowledge: a hybrid approach . Proceedings ECAI‐88 . pp. 644 – 649 . Munich : GFR .
   Google Scholar
• Allen , J.F. 1983 . Maintaining knowledge about temporal intervals . Communications ACM , 6 : 832 – 843 .
   Google Scholar
• Allen , J.F. 1984 . Towards a general theory of action and time . Artificial Intelligence , 23 : 123 – 154 .
   Web of Science ®Google Scholar
• Ashley , R.D. A knowledge‐based approach to assistance in timbrai design . Proceedings ICMC‐86 . pp. 11 – 16 .
   Google Scholar
• Backus , J.W. 1978 . Can programming be liberated from the Von Neuman style? A functional style and its algebra of programs . Comm. ACM , 21 (8) : 613 – 641 .
   Web of Science ®Google Scholar
• Baird , B. , Blevins , D. and Zahler , N. 1990 . The artificially intelligent computer performer: the second generation . Interface , 19 (2–3) : 197 – 204 .
   Google Scholar
• Balaban , M. 1989 . The cross‐fertilization relationship between music and AI (based on experience with the CSM project) . Interface , 18 (1–2) : 89 – 115 .
   Google Scholar
• Balaban , M. and Murray , N.V. The logic of time structures: Temporal and nonmonotonic features . Proceedings IJCAI‐89 . pp. 1285 – 1290 .
   Google Scholar
• Bel , B. 1990 . Time and musical structures . Interface , 19 (2–3) : 107 – 135 .
   Google Scholar
• Beyls , P. Introducing Oscar . Proceedings ICMC‐88 . Koln.
   Google Scholar
• Beyls , P. 1990 . Musical morphologies from self‐organizing systems . Interface , 19 (2–3) : 205 – 218 .
   Google Scholar
• Blevis , E.B. , Jenkins , M.A. and Glasgow , J. L. Motivations, sources, and initial design of CALM: a composition analysis/generation language for music . Proceedings of the First Workshop on AI and Music . pp. 99 – 112 . Minneapolis/St. Paul : AAAI‐88 .
   Google Scholar
• Blevis , E.B. , Jenkins , M.A. and Robinson , E. 1989 . On Seeger's music logic . Interface , 18 (1–2) : 9 – 31 .
   Google Scholar
• Bobrow , D.G. and Winograd , T. 1977 . An overview of KRL, a knowledge representation language . Cognitive Science , 1 (1) : 3 – 46 .
   Google Scholar
• Bouldin , D.W. 1989 . Advanced architectures for artificial intelligence [Special section] . IEEE Transactions on Systems, Man, and Cybernetics , 19 (4) (Ed.)
   Web of Science ®Google Scholar
• Brachman , R. 1977 . What's in a concept: structural foundations for semantic networks . Internationaljournal of Man‐Machine Studies , 9 : 127 – 152 .
   Google Scholar
• Brachman , R. 1983 . What IS‐A is and isn't: an analysis of taxonomic links in semantic networks . IEEE Computer , October : 30 – 36 . 1983
   Google Scholar
• Brachman , R.J. and Levesque , H.J. , eds. 1985 . Readings in Knowledge Representation , Morgan Kaufman .
   Google Scholar
• Brachman , R.J. , Fikes , R.E. and Levesque , H.J. 1985 . “ Krypton: A functional approach to knowledge representation ” . In Readings in Knowledge Representation , Edited by: Brachman , R.J. and Levesque , H.J. Morgan Kaufman .
   Google Scholar
• Brachman , R.J. and Schmölze , J.G. 1985 . An overview of the KL‐ONE knowledge representation system . Cognitive Science , 9 : 171 – 216 .
   Web of Science ®Google Scholar
• Buchanan , B. and Shortliffe . 1984 . Rule‐based expert systems , MA : Addison‐Wesley .
   Google Scholar
• Camilleri , L. , Carreras , F. and Duranti , C. 1990 . An expert system prototype for the study of musical segmentation . Interface , 19 (2–3) : 147 – 154 .
   Google Scholar
• Camurri , A. 1989 . Temporal logic issues in music knowledge representation . Microprocessing and Microprogramming, the Euromicro Journal , 27 (1–5) : 541 – 546 .
   Google Scholar
• Camurri , A. , Frixione , M. , Gaglio , S. and Zaccaria , R. A structured approach to action representation . Proceedings AI1A‐89 . Trento : Cenfor International Books .
   Google Scholar
• Camurri , A. , Haus , G. and Zaccaria , R. 1986a . “ Describing and performing musical processes ” . In Human Movement Understanding , Edited by: Morasso , P. and Tagliasco , V. North Holland .
   Google Scholar
• Camurri , A. , Haus , G. and Zaccaria , R. 1986b . Describing and performing musical processes by means of Petri nets . Interface , 15 : 1 – 23 .
   Google Scholar
• Camurri , A. , Morasso , P. , Tagliasco , V. and Zaccaria , R. 1986 . “ Dance and Movement Notation ” . In Human Movement Understanding , Edited by: Morasso , P. and Tagliasco , V. North Holland .
   Google Scholar
• Camurri , A. , Canepa , C. , Orlich , F. and Zaccaria , R. Interactions between Music and Movement: a System for Music Generation from 3D animations . Proceedings Fourth International Conference on Event Perception and Action . Trieste, Italy.
   Google Scholar
• Camurri , A. , Giacomini , M. , Ponassi , A. and Zaccaria , R. Key‐Music: an expert system environment for music composition . Proceedings ICMC . pp. 119 – 126 . Köln
   Google Scholar
• Camurri , A. , Poggi , A. , Vercelli , G. and Zaccaria , R. A‐Nets: Structured representation of time and actions using Petri nets . Proceedings IX European Workshop on Application and Theory of Petri Nets . Venice, Italy.
   Google Scholar
• Camurri , A. and Troiano , E. PETREX: a software tool for system modeling and simulation based on Petri nets . Proceedings 1989 AICA Annual Conference . Trieste, Italy.
   Google Scholar
• Carbonell , J.G. 1989 . Machine learning [Special issue] . Artificial Intelligence , 40 (Ed.)
   Web of Science ®Google Scholar
• Chadabe , J. 1986 . M: The interactive composing and performing system , Albany : Intelligent Computer Music Systems .
   Google Scholar
• Charniak , E. and McDermott , D. 1985 . Introduction to artificial intelligence , Addison‐Wesley .
   Google Scholar
• Church , A. 1956 . Introduction to mathematical logics , Vol. 1 , Princeton : Princeton University Press .
   Google Scholar
• Clocksin , W.F. and Mellish , C.S. 1987 . Programming in Prolog , New York : Springer‐Verlag .
   Google Scholar
• Cohn , A.G. 1989b . Taxonomic reasoning with many‐sorted logics . Artificial Intelligence Review , 3 : 89 – 128 .
   Web of Science ®Google Scholar
• Conklin , J. 1987 . Hypertext: an introduction and survey . IEEE Computer , September 1987.
   Google Scholar
• Cope , D. 1989 . Experiments in Musical Intelligence (EMI): Non‐Linear Linguistic‐based Composition . Interface , 18 (1–2) : 117 – 139 .
   Google Scholar
• Costa , M. , Frixione , M. , Gaglio , S. , Palladino , D. , Spinelli , G. , Traversa , M. and Zolezzi , M. 1988 . PROCNE: a PROlog tool Combining logic and semantic NEts , DISTTech‐nical Report #881
   Google Scholar
• Dannenberg , R. , Joseph , A. , Sanchez , M. , Capell , P. , Joseph , R. and Saul , R. 1990 . The Piano Tutor: goals, structure and current work . Interface , 19 (2–3) : 155 – 173 .
   Google Scholar
• Degli Antoni , G. and Haus , G. Music and causality . Proceedings ICMC‐82 .
   Google Scholar
• De Poli , G. , Irone , L. and Vidolin , A. 1990 . A rule system for score interpretation: a many sorted approach . Interface , 19 (2–3) : 137 – 146 .
   Google Scholar
• Ebcioglu , K. An expert system for chorale harmonization . Proceedings AAAI‐86 . pp. 784 – 788 .
   Google Scholar
• Ellman , T. 1989 . Explanation‐based learning: A survey of programs and perspectives . ACM Computing Surveys , 21 (2) : 163 – 221 .
   Web of Science ®Google Scholar
• Fagarazzi , B. and Saraggiotto , C. 1990 . An object‐oriented approach to computer aided composition . Interface , 19 (2–3) : 185 – 196 .
   Google Scholar
• Fidelak , M. Petri nets: a formal language for knowledge representation . Proceedings ECAI‐86 .
   Google Scholar
• Fikes , R.E. and Nilsson , N. 1971 . STRIPS: A new approach to the application of theorem proving to problem solving . Artificial Intelligence , 2 : 189 – 208 .
   Web of Science ®Google Scholar
• Fikes , R. and Kehler , T. 1985 . The Role of Frame‐Based Representation in Reasoning . Commun. ACM , 28 (9) : 904 – 920 .
   Web of Science ®Google Scholar
• Forbus , K.D. 1984 . Qualitative process theory . Artificial Intelligence , 24 : 84 – 168 .
   Web of Science ®Google Scholar
• Frixione , M. , Gaglio , S. and Spinelli , P. Symbols and subsymbols for representing knowledge: a catalogue raisonne’ . Proceedings 1JCAI‐89 . pp. 3 – 7 .
   Google Scholar
• Fry , C. 1984 . Flavors band: a language for specifying musical style . Computer Music Journal , 4 (4) : 20 – 34 .
   Web of Science ®Google Scholar
• Genrich , H.J. and Lautenbach , K. 1981 . System modelling with high‐level Petri nets . Theoretical Computer Science , 13 : 109 – 136 . North Holland.
   Web of Science ®Google Scholar
• Georgeff , M.P. , Lansky , A.L. and Bessiere , P. A procedural logic . Proc. of IJCAI85 . Los Angeles, Ca, USA.
   Google Scholar
• Hanks , S. and McDermott , D. 1987 . Nonmonotonic logic and temporal projection . Artificial Intelligence , 33 : 379 – 412 .
   Web of Science ®Google Scholar
• Hinton , G.E. 1989 . Connectionist learning procedures . Artificial Intelligence , 40 : 185 – 234 .
   Web of Science ®Google Scholar
• Israel , D.J. 1983 . The role of logic in knowledge representation . IEEE Computer , 16 (10) : 37 – 42 .
   Google Scholar
• Jensen , K. 1981 . Coloured Petri nets and the invariant method . Theoretical Computer Science , 14 : 317 – 336 . North Holland.
   Web of Science ®Google Scholar
• Johnson‐Laird , P.N. 1983 . Mental models , Cambridge : Cambridge University Press .
   Google Scholar
• Kohonen , T. 1984 . Self‐organization and associative memory , Berlin : Springer‐Verlag .
   Google Scholar
• Laske , O. 1975 . Toward a theory of musical cognition . Interface , 4 (2) : 147 – 208 .
   Google Scholar
• Laske , O. 1984 . “ KEITH: a rule system for making musical‐analytical discoveries ” . In Musical grammars and computer analysis , Edited by: Baroni , M. and Callegari , L. Florence : Leo S. Olshki .
   Google Scholar
• Laske , O. 1989a . Composition Theory: an enrichment of music theory . Interface , 18 (1–2) : 45 – 59 .
   Google Scholar
• Laske , O. Articulating musical intuitions by way of rules . Proceedings Second International Workshop on AI and Music, IJCAI‐89 . Detroit, USA.
   Google Scholar
• Leman , M. 1985 . Dynamical hierarchical networks as perceptual memory representations of music . Interface , 14 (3–4) : 125 – 164 .
   Google Scholar
• Leman , M. 1986 . Using dynamic dialectical logics for an account of default reasoning in musical listening . CC‐AI (Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemiology) , 3 (1–2) : 121 – 131 .
   Google Scholar
• Leman , M. 1989a . Symbolic and subsymbolic information processing in models of musical communication and cognition . Interface , 18 (1–2) : 141 – 160 .
   Google Scholar
• Leman , M. 1989b . Models of musical communication and cognition . Interface , 18 (1–2) (Ed.)
   Google Scholar
• Leman , M. and Van RenteTghem , P. Transputer implementation of the Kohonen feature map for a music recognition task . Second International Transputer Conference: Transputer for Industrial Applications II . Antwerp, Belgium.
   Google Scholar
• Leman , M. 1990 . Emergent properties of tonality by self‐organization . Interface , 19 (2–3) : 85 – 106 .
   Google Scholar
• Leman , M. “ Artificial neural networks in music research ” . In Computer representations and models in music , Edited by: Marsden , A. and Pople , A. London : Academic Press . (In press)
   Google Scholar
• Lerdahl , F. and Jackendoff , R. 1983 . A generative theory of tonal music , Cambridge, MA : MIT Press .
   Google Scholar
• Levesque , H.J. , Brachman , R.J. and Levesque , H.J. 1985 . “ A fundamental tradeoff in knowledge representation and reasoning (Revised version) ” . In Readings in Knowledge Representation , Edited by: Brachman , R.J. Morgan Kaufman .
   Google Scholar
• Lifschits , V. Formal theories of action . The frame problem in artificial intelligence: proceedings of the 1987 workshop . Edited by: Brown , F. L. San Mateo : Morgan Kaufmann .
   Google Scholar
• Loy , D.G. 1989 . Special issue on parallel distributed processing and neural networks . Computer Music Journal , 13 (3) Cambridge, MA: MIT Press
   Web of Science ®Google Scholar
• Marsella , S.C. and Schmidt , C.F. Problem reduction, automated music composition, and interactive performances . Proceedings The Arts & Technology II: A Symposium . Connecticut College.
   Google Scholar
• McCarthy , J. 1968 . “ Programs with common sense ” . In Semantic Information Processing , Edited by: Minsky , M. 403 – 418 . Cambridge, MA : MIT Press .
   Google Scholar
• McCarthy , J. 1980 . Circumscription ‐ A form of non‐monotonic reasoning . Artificial Intelligence , 13 : 27 – 39 .
   Web of Science ®Google Scholar
• McCarthy , J. and Hayes , P.J. 1969 . “ Some philosophical problems from the standpoint of artificial intelligence ” . In Machine Intelligence , Edited by: Meltzer , B. and Michie , D. Vol. 4 , 463 – 502 . Edinburgh : Edinburgh University Press .
   Google Scholar
• McClelland , J. and Rumelhart , D. 1986 . Parallel distributed processing: Explorations in the microstructure of cognition , Vol. 2 , Cambridge, MA : MIT Press .
   Google Scholar
• McDermott , D. and Doyle , J. 1980 . Nonmonotonic logic I . Artificial Intelligence , 13 : 41 – 72 .
   Web of Science ®Google Scholar
• McDermott , D. 1982 . A temporal logic for reasoning about processes and plans . Cognitive Science , 6 : 101 – 155 .
   Web of Science ®Google Scholar
• Minsky , M. 1975 . “ A framework for representing knowledge ” . In Psychology of Computer Vision , Edited by: Winston , P. McGraw‐Hill .
   Google Scholar
• Minsky , M. 1981 . Music, mind and meaning . Computer Music Journal , 5 (3) : 8 – 44 .
   Web of Science ®Google Scholar
• Mourelatos , A.P.D. 1978 . Events, processes, and states . Linguistics and Philosophy , 2 : 415 – 434 .
   Google Scholar
• Otheru , S. and Hashimoto , S. A new approach to music through vision . Proceedings IJCAI‐89 Workshop on AI and Music .
   Google Scholar
• Nilsson , N.J. 1980 . Principles of Artificial Intelligence , Palo Alto, CA : Tioga Publishing .
   Google Scholar
• Peterson , J.L. 1981 . Petri net theory and the modeling of systems , New York : Prentice‐Hall .
   Google Scholar
• Petri , C.A. 1979 . “ Introduction to general net theory ” . In Lecture Notes in Computer Sciences , Vol. 84 , Springer Verlag .
   Google Scholar
• Pinker , S. and Prince , A. 1988 . On language and connectionism: analysis of a parallel distributed processing model of language acquisition . Cognition , : 28
   Web of Science ®Google Scholar
• Poesio , M. Toward a hybrid representation of time . Proceedings ECAI‐88 . Munich : GFR .
   Google Scholar
• Pope , S.T. The development of an intelligent composer's assistant: Interactive graphic tools and knowledge representation for music . Proceedings ICMC‐86 . pp. 131 – 144 .
   Google Scholar
• Pope , S.T. 1988 . Building Smalltalk‐80‐based computer music tools . Journal of Object Oriented Programming , April/May : 6 – 11 .
   Google Scholar
• Reiter , R. 1980 . A logic for default reasoning . Artificial Intelligence , 13 : 81 – 132 .
   Web of Science ®Google Scholar
• Roads , C. Interactive orchestration based on score analysis . Proceedings ICMC‐82 . Venice.
   Google Scholar
• Roads , C. 1985 . Research in music and artificial intelligence . ACM Computing Surveys , 77 (2) : 163 – 190 .
   Google Scholar
• Roads , C. and Strawn , J. , eds. 1985 . Foundations of Computer Music , Cambridge, MA : MIT Press .
   Google Scholar
• Rodet , X. and Cointe , P. 1984 . FORMES: Composition and scheduling of processes . Computer Music Journal , 8 (3) : 32 – 50 .
   Web of Science ®Google Scholar
• Rychlik , P. 1989 . Multiple inheritance systems with exceptions . Artificial Intelligence Review , 3 : 159 – 176 .
   Web of Science ®Google Scholar
• Rumelhart , D. and McClelland , J. 1986 . Parallel distributed processing: Explorations in the microstructure of cognition , Vol. 1 , Cambridge, MA : MIT Press .
   Google Scholar
• Sandewall , E. Non‐monotonic inference rules for multiple inheritance with exceptions . Proceedings of the IEEE‐74 . pp. 1345 – 1353 .
   Google Scholar
• Sandewall , E. Future developments in artificial intelligence ‐ A personal view . Proceedings ECAI‐88 . pp. 707 – 715 . Munich : GFR .
   Google Scholar
• Scaletti , C. Kyma: an object‐oriented language for music composition . Proceedings ICMC‐87 . pp. 49 – 56 .
   Google Scholar
• Schottstaedt , B. 1983 . Pia: a composer's idea of a language . Computer Music Journal , 7 (1) : 11 – 20 . Cambridge, MA: MIT Press.
   Web of Science ®Google Scholar
• Schank , R.C. and Rieger , C.J. 1974 . Inference and the computer understanding of natural language . Artificial Intelligence , 5 (4) : 373 – 412 . North Holland.
   Web of Science ®Google Scholar
• Shastri , L. 1988 . A connectionist approach to knowledge representation and limited inference . Cognitive Science , 12 : 331 – 392 .
   Web of Science ®Google Scholar
• Shastri , L. 1989 . Default reasoning in semantic neworks: A formalization of recognition and inheritance . Artificial Intelligence , 39 : 283 – 355 . North Holland.
   Web of Science ®Google Scholar
• Shoenfield , J.R. 1967 . Mathematical logic , Reading, MA : Addison‐Wesley .
   Google Scholar
• Shoham , Y. 1987 . Temporal logics in AI: semantical and ontological considerations . Artificial Intelligence , 33 : 89 – 104 . North Holland.
   Web of Science ®Google Scholar
• Shoham , Y. 1988 . Chronological ignorance: experiments in nonmonotonic temporal reasoning . Artificial Intelligence , 36 : 279 – 331 .
   Web of Science ®Google Scholar
• Shrobe , H. , ed. 1988 . Exploring Artificial Intelligence , Morgan Kaufman .
   Google Scholar
• Smith , B. 1985 . “ Prologue to “Reflection and semantics in a procedural language” . In Readings in knowledge representation , Edited by: Brachman , R.J. and Levesque , H.J. 31 – 40 . Los Altos, CA : Morgan Kaufmann .
   Google Scholar
• Smoliar , S.W. Music notation: cognitive red herring? . Proceedings IJCAI‐89 Workshop on AI and Music .
   Google Scholar
• Steel , S. 1987 . The bread and butter of planning . Artificial Intelligence Review , 7 : 159 – 181 .
   Google Scholar
• Steels , L. Steps towards common sense . Proceedings ECAI‐88 . pp. 49 – 54 . Munich : GFR .
   Google Scholar
• Stefik , M. and Bobrow , D.G. 1986 . Object‐Oriented Programming: themes and variations . AI Magazine , 6 (4) : 40 – 62 .
   Google Scholar
• Sundberg , J. , Askenfelt , A. and Fryden , L. 1983 . Musical performance: a synthesis‐by‐rule approach . Computer Music Journal , 7 (1) : 37 – 43 .
   Web of Science ®Google Scholar
• Thayse , A. , ed. 1988 . From standard logic to logic programming , Chichester, , England : John Wiley & Sons .
   Google Scholar
• Touretzky , D.S. 1986 . The mathematics of inheritance systems , Los Altos, CA : Morgan Kaufman .
   Google Scholar
• Touretzky , D.S. and Hinton , G.E. 1988 . A distributed connectionist production system . Cognitive Science , 12 : 423 – 466 .
   Web of Science ®Google Scholar
• Touretzky , D.S. in press . BoltzCONS: dynamic symbol structures in a connectionist network . Artificial Intelligence ,
   Web of Science ®Google Scholar
• Weyhrauch , R. 1980 . Prolegomena to a theory of mechanized formal reasoning . Artificial Intelligence , 13 : 133 – 170 .
   Web of Science ®Google Scholar
• Whitney , J.H. 1980 . Digital Harmony: On the complementarity of music and visual art , McGraw‐Hill .
   Google Scholar
• Winston , P. 1981 . LISP , Reading, MA : Addison‐Wesley .
   Google Scholar
• Winston , P. 1984 . Artificial Intelligence , Reading, MA : Addison‐Wesley .
   Google Scholar