{"id":"https://openalex.org/W2178621305","doi":"https://doi.org/10.1017/s1471068410000530","title":"Automatic music composition using answer set programming","display_name":"Automatic music composition using answer set programming","publication_year":2011,"publication_date":"2011-02-22","ids":{"openalex":"https://openalex.org/W2178621305","doi":"https://doi.org/10.1017/s1471068410000530","mag":"2178621305"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068410000530","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068410000530","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://purehost.bath.ac.uk/ws/files/9166398/journal.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077489716","display_name":"Georg Boenn","orcid":null},"institutions":[{"id":"https://openalex.org/I128993996","display_name":"University of South Wales","ror":"https://ror.org/02mzn7s88","country_code":"GB","type":"education","lineage":["https://openalex.org/I128993996"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"GEORG BOENN","raw_affiliation_strings":["Cardiff School of Creative and Cultural Industries, University of Glamorgan, Pontypridd, CF37 1DL, UK (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cardiff School of Creative and Cultural Industries, University of Glamorgan, Pontypridd, CF37 1DL, UK (e-mail:","institution_ids":["https://openalex.org/I128993996"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009343703","display_name":"Martin Brain","orcid":"https://orcid.org/0000-0003-4216-7151"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"MARTIN BRAIN","raw_affiliation_strings":["Department of Computer Science, University of Bath, Bath, BA2 7AY, UK (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bath, Bath, BA2 7AY, UK (e-mail:","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082496615","display_name":"Marina De Vos","orcid":"https://orcid.org/0000-0003-3583-7671"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"MARINA DE VOS","raw_affiliation_strings":["Department of Computer Science, University of Bath, Bath, BA2 7AY, UK (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bath, Bath, BA2 7AY, UK (e-mail:","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090793482","display_name":"John ffitch","orcid":null},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"JOHN FFITCH","raw_affiliation_strings":["Department of Computer Science, University of Bath, Bath, BA2 7AY, UK (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bath, Bath, BA2 7AY, UK (e-mail:","institution_ids":["https://openalex.org/I51601045"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.0393,"has_fulltext":true,"cited_by_count":30,"citation_normalized_percentile":{"value":0.96324295,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"11","issue":"2-3","first_page":"397","last_page":"427"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.852441668510437},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.7748270630836487},{"id":"https://openalex.org/keywords/melody","display_name":"Melody","score":0.7585591673851013},{"id":"https://openalex.org/keywords/musical-composition","display_name":"Musical composition","score":0.6945890188217163},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5012915134429932},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.48755353689193726},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.46698540449142456},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.46163392066955566},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.45857957005500793},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4346768856048584},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4327332675457001},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4287799000740051},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41883713006973267},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.418517529964447},{"id":"https://openalex.org/keywords/music-education","display_name":"Music education","score":0.09061649441719055}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.852441668510437},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.7748270630836487},{"id":"https://openalex.org/C43803900","wikidata":"https://www.wikidata.org/wiki/Q170412","display_name":"Melody","level":3,"score":0.7585591673851013},{"id":"https://openalex.org/C109568592","wikidata":"https://www.wikidata.org/wiki/Q207628","display_name":"Musical composition","level":3,"score":0.6945890188217163},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5012915134429932},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.48755353689193726},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.46698540449142456},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.46163392066955566},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.45857957005500793},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4346768856048584},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4327332675457001},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4287799000740051},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41883713006973267},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.418517529964447},{"id":"https://openalex.org/C13553968","wikidata":"https://www.wikidata.org/wiki/Q27908","display_name":"Music education","level":2,"score":0.09061649441719055},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s1471068410000530","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068410000530","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:purehost.bath.ac.uk:publications/6916e027-c0d6-4e9a-bf82-110a62c1408a","is_oa":true,"landing_page_url":"https://researchportal.bath.ac.uk/en/publications/6916e027-c0d6-4e9a-bf82-110a62c1408a","pdf_url":"https://purehost.bath.ac.uk/ws/files/9166398/journal.pdf","source":{"id":"https://openalex.org/S4377196294","display_name":"Pure (University of Bath)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51601045","host_organization_name":"University of Bath","host_organization_lineage":["https://openalex.org/I51601045"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Boenn, G, Brain, M, De Vos, M & Ffitch, J 2011, 'Automatic music composition using answer set programming', Theory and Practice of Logic Programming, vol. 11, no. 2-3, pp. 397-427. https://doi.org/10.1017/S1471068410000530","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:purehost.bath.ac.uk:publications/6916e027-c0d6-4e9a-bf82-110a62c1408a","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=79960377127&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4377196294","display_name":"Pure (University of Bath)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51601045","host_organization_name":"University of Bath","host_organization_lineage":["https://openalex.org/I51601045"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:purehost.bath.ac.uk:publications/6916e027-c0d6-4e9a-bf82-110a62c1408a","is_oa":true,"landing_page_url":"https://researchportal.bath.ac.uk/en/publications/6916e027-c0d6-4e9a-bf82-110a62c1408a","pdf_url":"https://purehost.bath.ac.uk/ws/files/9166398/journal.pdf","source":{"id":"https://openalex.org/S4377196294","display_name":"Pure (University of Bath)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51601045","host_organization_name":"University of Bath","host_organization_lineage":["https://openalex.org/I51601045"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Boenn, G, Brain, M, De Vos, M & Ffitch, J 2011, 'Automatic music composition using answer set programming', Theory and Practice of Logic Programming, vol. 11, no. 2-3, pp. 397-427. https://doi.org/10.1017/S1471068410000530","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.47999998927116394}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2178621305.pdf","grobid_xml":"https://content.openalex.org/works/W2178621305.grobid-xml"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W31301090","https://openalex.org/W73864267","https://openalex.org/W91024833","https://openalex.org/W148655213","https://openalex.org/W156593182","https://openalex.org/W254944493","https://openalex.org/W363508587","https://openalex.org/W605016609","https://openalex.org/W1481719343","https://openalex.org/W1491161489","https://openalex.org/W1503635106","https://openalex.org/W1507965739","https://openalex.org/W1518529401","https://openalex.org/W1520000071","https://openalex.org/W1520957705","https://openalex.org/W1523419405","https://openalex.org/W1534140321","https://openalex.org/W1537685960","https://openalex.org/W1549711261","https://openalex.org/W1550643925","https://openalex.org/W1551250655","https://openalex.org/W1552168992","https://openalex.org/W1576790126","https://openalex.org/W1580399267","https://openalex.org/W1597536817","https://openalex.org/W1601807972","https://openalex.org/W1606891084","https://openalex.org/W1607801167","https://openalex.org/W1672891595","https://openalex.org/W1732487661","https://openalex.org/W1840870209","https://openalex.org/W1992602851","https://openalex.org/W2003021688","https://openalex.org/W2017960715","https://openalex.org/W2020806338","https://openalex.org/W2048746006","https://openalex.org/W2065360612","https://openalex.org/W2070177582","https://openalex.org/W2076597612","https://openalex.org/W2076698873","https://openalex.org/W2092211394","https://openalex.org/W2092321294","https://openalex.org/W2114568665","https://openalex.org/W2115895293","https://openalex.org/W2142668232","https://openalex.org/W2151403295","https://openalex.org/W2161484642","https://openalex.org/W2165675194","https://openalex.org/W2174206963","https://openalex.org/W2185401186","https://openalex.org/W2612793397","https://openalex.org/W2624790684","https://openalex.org/W2730215775","https://openalex.org/W3099687674","https://openalex.org/W3105980699","https://openalex.org/W3175367423","https://openalex.org/W4212875219","https://openalex.org/W4241593052","https://openalex.org/W4285719527","https://openalex.org/W6637758597","https://openalex.org/W6677195917"],"related_works":["https://openalex.org/W4309969796","https://openalex.org/W2357632803","https://openalex.org/W4243418880","https://openalex.org/W2515310029","https://openalex.org/W4321267900","https://openalex.org/W2357341810","https://openalex.org/W2766461288","https://openalex.org/W2598521311","https://openalex.org/W104702370","https://openalex.org/W2031002446"],"abstract_inverted_index":{"Abstract":[0],"Music":[1],"composition":[2,37,58,77,119,128,164],"used":[3,157],"to":[4,24,93],"be":[5,80,156],"a":[6,60,69,117,130,159,182,190,204],"pen":[7],"and":[8,55,64,74,106,114,126,174,194,212],"paper":[9,85],"activity.":[10],"These":[11],"days":[12],"music":[13,42,180],"is":[14,43,207],"often":[15],"composed":[16],"with":[17],"the":[18,25,28,33,52,87,137,149,169,187,201],"aid":[19],"of":[20,32,38,41,57,89,123,140,184,189],"computer":[21,29],"software,":[22],"even":[23],"point":[26,150],"where":[27,151],"composes":[30],"parts":[31],"score":[34],"autonomously.":[35],"The":[36,121],"most":[39],"styles":[40],"governed":[44],"by":[45,50],"rules.":[46],"We":[47],"show":[48],"that":[49,101],"approaching":[51],"automation,":[53],"analysis":[54],"verification":[56],"as":[59,116,158],"knowledge":[61],"representation":[62],"task":[63],"formalising":[65],"these":[66],"rules":[67],"in":[68,111,129,136,161,181],"suitable":[70],"logical":[71],"language,":[72],"powerful":[73],"expressive":[75],"intelligent":[76],"tools":[78],"can":[79,102,153],"easily":[81],"built.":[82],"This":[83],"application":[84],"describes":[86],"use":[88,188],"answer":[90],"set":[91],"programming":[92],"construct":[94],"an":[95,162,195],"automated":[96],"system,":[97],"named":[98],"Anton":[99,134,147,199],",":[100],"compose":[103],"melodic,":[104],"harmonic":[105],"rhythmic":[107,125],"music,":[108],"diagnose":[109],"errors":[110],"human":[112,202],"compositions":[113],"serve":[115],"computer-aided":[118],"tool.":[120],"combination":[122],"harmonic,":[124],"melodic":[127],"single":[131],"framework":[132],"makes":[133],"unique":[135],"growing":[138],"area":[139],"algorithmic":[141],"composition.":[142],"With":[143,186],"near":[144],"real-time":[145],"composition,":[146],"reaches":[148],"it":[152],"not":[154],"only":[155],"component":[160],"interactive":[163],"tool":[165,205],"but":[166],"also":[167],"has":[168],"potential":[170],"for":[171],"live":[172],"performances":[173],"concerts":[175],"or":[176],"automatically":[177],"generated":[178],"background":[179],"variety":[183],"applications.":[185],"fully":[191],"declarative":[192],"language":[193],"\u201coff-the-shelf\u201d":[196],"reasoning":[197],"engine,":[198],"provides":[200],"composer":[203],"which":[206],"significantly":[208],"simpler,":[209],"more":[210,213],"compact":[211],"versatile":[214],"than":[215],"other":[216],"existing":[217],"systems.":[218]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":5}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}