{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:33:20Z","timestamp":1760708000209},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540899815"},{"type":"electronic","value":"9783540899822"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89982-2_21","type":"book-chapter","created":{"date-parts":[[2008,12,14]],"date-time":"2008-12-14T22:09:15Z","timestamp":1229292555000},"page":"160-174","source":"Crossref","is-referenced-by-count":16,"title":["Automatic Composition of Melodic and Harmonic Music by Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Georg","family":"Boenn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Brain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"De Vos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"ffitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Chuang, J.: Mozart\u2019s Musikalisches W\u00fcrfelspiel (1995), \n                      \n                        http:\/\/sunsite.univie.ac.at\/Mozart\/dice\/"},{"key":"21_CR2","unstructured":"Xenakis, I.: Formalized Music. Bloomington Press, Stuyvesant (1992)"},{"issue":"3","key":"21_CR3","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1162\/0148926041790685","volume":"28","author":"D. Cope","year":"2006","unstructured":"Cope, D.: A Musical Learning Algorithm. Computer Music Journal\u00a028(3), 12\u201327 (Fall, 2006)","journal-title":"Computer Music Journal"},{"key":"21_CR4","unstructured":"Anders, T.: Composing Music by Composing Rules: Design and Usage of a Generic Music Constraint System. Ph.D thesis, Queen\u2019s University, Belfast, Department of Music (2007)"},{"key":"21_CR5","unstructured":"Fux, J.: The Study of Counterpoint from Johann Joseph Fux\u2019s Gradus ad Parnassum. W.W. Norton (1965, orig 1725)"},{"key":"21_CR6","unstructured":"Thakar, M.: Counterpoint. New Haven (1990)"},{"key":"21_CR7","unstructured":"Brothwell, A., Ffitch, J.: An Automatic Blues Band. In: Barknecht, F., Rumori, M. (eds.) 6th International Linux Audio Conference, Kunsthochschule f\u00fcr Medien K\u00f6ln, LAC 2008, pp. 12\u201317 (March 2008)"},{"key":"21_CR8","unstructured":"Leach, J.L.: Algorithmic Composition and Musical Form. Ph.D thesis, University of Bath, School of Mathematical Sciences (1999)"},{"key":"21_CR9","unstructured":"Ebcio\u011flu, K.: An Expert System for Harmonization of Chorales in the Style of J.S. Bach. Ph.D thesis, State University of New York, Buffalo, Department of Computer Science (1986)"},{"key":"21_CR10","unstructured":"Rohrmeier, M.: Towards modelling harmonic movement in music: Analysing properties and dynamic aspects of pc set sequences in Bach\u2019s chorales. Technical Report DCRR-004, Darwin College, University of Cambridge (2006)"},{"key":"21_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving, 1st edn. Cambridge University Press, Cambridge (2003)","edition":"1"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-72200-7_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Schaub, T., Thiele, S.: GrinGo: A New Grounder for Answer Set Programming. In: Baral, C., Brewka, G., Schlipf, J.S. (eds.) LPNMR 2007. LNCS, vol.\u00a04483, pp. 266\u2013271. Springer, Heidelberg (2007)"},{"key":"21_CR13","unstructured":"Syrj\u00e4nen, T.: Lparse 1.0 User\u2019s Manual. Helsinki University of Technology (2000)"},{"key":"21_CR14","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-Driven Answer Set Solving. In: Proceeding of IJCAI 2007, pp. 386\u2013392 (2007)"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T., Niemel\u00e4, I.: The Smodels System. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237. Springer, Heidelberg (2001)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-540-24609-1_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Lierler","year":"2003","unstructured":"Lierler, Y., Maratea, M.: Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS, vol.\u00a02923, pp. 346\u2013350. Springer, Heidelberg (2003)"},{"key":"21_CR17","first-page":"406","volume-title":"KR 1998: Principles of Knowledge Representation and Reasoning","author":"T. Eiter","year":"1998","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR System dlv: Progress Report, Comparisons and Benchmarks. In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, pp. 406\u2013417. Morgan Kaufmann, San Francisco (1998)"},{"key":"21_CR18","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/3-540-45757-7_51","volume-title":"Logics in Artificial Intelligence","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: The DLV\n                      K\n                     Planning System. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 541\u2013544. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"21_CR19","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. J. of Artificial Intelligence\u00a0138(1-2), 39\u201354 (2002)","journal-title":"J. of Artificial Intelligence"},{"key":"21_CR20","volume-title":"Answer Set Programming: Towards Efficient and Scalable Knowledge Represenation and Reasoning","author":"M. Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: A A-Prolog Decision Support System for the Space Shuttle. In: Answer Set Programming: Towards Efficient and Scalable Knowledge Represenation and Reasoning. American Association for Artificial Intelligence Press, Stanford (March 2001)"},{"key":"21_CR21","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-1-4615-1567-8_12","volume-title":"Logic-based artificial intelligence","author":"C. Baral","year":"2000","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Logic-based artificial intelligence, pp. 257\u2013279. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/11546207_25","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Buccafurri","year":"2005","unstructured":"Buccafurri, F., Caminiti, G.: A Social Semantics for Multi-agent Systems. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol.\u00a03662, pp. 317\u2013329. Springer, Heidelberg (2005)"},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/11775331_7","volume-title":"Selected revised papers from the workshops on Agent, Norms and Institutions for Regulated Multi-Agent Systems (ANIREM) and Organizations and Organization Oriented Programming (OOOP) at AAMAS 2005","author":"O. Cliffe","year":"2006","unstructured":"Cliffe, O., De Vos, M., Padget, J.: Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J., Vazquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS, vol.\u00a03913, pp. 99\u2013113. Springer, Heidelberg (2006)"},{"key":"21_CR24","unstructured":"Polleres, A.: Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming. In: Brewka, G., Niemel\u00e4, I., Schaub, T., Truszczy\u0144ski, M. (eds.) Nonmonotonic Reasoning, Answer Set Programming and Constraints, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol.\u00a005171 (2005)"},{"key":"21_CR25","unstructured":"Ruffolo, M., Leone, N., Manna, M., Sacc\u00e0, D., Zavatto, A.: Exploiting ASP for Semantic Information Extraction. In: De Vos, M., Provetti, A. (eds.) Answer Set Programming. CEUR Workshop Proceedings, vol.\u00a0142, CEUR-WS.org (2005)"},{"key":"21_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/11750390","volume-title":"International Conference on Logic Programming","author":"M. Brain","year":"2006","unstructured":"Brain, M., Crick, T., De Vos, M., Fitch, J.: TOAST: Applying Answer Set Programming to Superoptimisation. In: International Conference on Logic Programming. LNCS. Springer, Heidelberg (August 2006)"},{"key":"21_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/11799573_22","volume-title":"Logic Programming","author":"S. Grell","year":"2006","unstructured":"Grell, S., Schaub, T., Selbig, J.: Modelling biological networks by action languages via answer set programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 285\u2013299. Springer, Heidelberg (2006)"},{"key":"21_CR28","unstructured":"Konczak, K.: Voting Theory in Answer Set Programming. In: Fink, M., Tompits, H., Woltran, S. (eds.) Proceedings of the Twentieth Workshop on Logic Programming (WLP 2006). Number INFSYS RR-1843-06-02, Technical Report Series, pp. 45\u201353. Technische Universit\u00e4t Wien (2006)"},{"key":"21_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-36388-2_12","volume-title":"Practical Aspects of Declarative Languages","author":"E. Erdem","year":"2002","unstructured":"Erdem, E., Lifschitz, V., Nakhleh, L., Ringe, D.: Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 160\u2013176. Springer, Heidelberg (2002)"},{"volume-title":"The Csound Book","year":"2000","key":"21_CR30","unstructured":"Boulanger, R. (ed.): The Csound Book. MIT Press, Cambridge (2000)"},{"issue":"2","key":"21_CR31","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/3680965","volume":"22","author":"B. Bel","year":"1998","unstructured":"Bel, B.: Migrating Musical Concepts: An Overview of the Bol Processor. Computer Music Journal\u00a022(2), 56\u201364 (1998)","journal-title":"Computer Music Journal"},{"key":"21_CR32","unstructured":"Brain, M., De Vos, M., Satoh, K.: Smodels-ie: Improving the Cache Utilisation of Smodels. In: Costantini, S., Watson, R. (eds.) Proceedings of the 4th Workshop on Answer Set Programming, pp. 309\u2013314 (2007)"},{"key":"21_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-24609-1_26","volume-title":"Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"J. Ward","year":"2003","unstructured":"Ward, J., Schlipf, S.: Answer set programming with clause learning. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS, vol.\u00a02923, pp. 302\u2013313. Springer, Heidelberg (2003)"},{"key":"21_CR34","unstructured":"Brain, M., Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.: \u201cThat is illogical captain!\u201d \u2013 The Debugging Support Tool spock for Answer-Set Programs: System Description. In: De Vos, M., Schaub, T. (eds.) Proceedings of the Workshop on Software Engineering for Answer Set Programming (SEA 2007), pp. 71\u201385 (2007)"},{"key":"21_CR35","unstructured":"Endrich, A.: Building Musical Relationships. In: Preparation (manuscript, 2008)"},{"key":"21_CR36","unstructured":"Brain, M., De Vos, M.: Implementing OCLP as a Front End for Answer Set Solvers: From Theory to Practice. In: Proceedings of Answer Set Programming: Advances in Theory and Implementation (ASP 2003), Ceur-WS (September 2003)"},{"key":"21_CR37","unstructured":"Boenn, G.: Composing Rhythms Based Upon Farey Sequences. In: Digital Music Research Network Conference (July 2007)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89982-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T06:23:12Z","timestamp":1551680592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89982-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540899815","9783540899822"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89982-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}