Anton: Composing logic and logic composing. In Logic Programming and Nonmonotonic Reasoning

Georg Boenn; Martin Brain; Marina De Vos; John Fitch

doi:10.1007/978-3-642-04238-6_55

Anton: Composing logic and logic composing. In Logic Programming and Nonmonotonic Reasoning

Georg Boenn, Martin Brain, Marina De Vos, John Fitch

Faculty of Business and Creative Industries

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built. This paper describes the use of answer set programming to construct an automated system, named ANTON, that can compose both melodic and harmonic music, diagnose errors in human compositions and serve as a computer-aided composition tool.

Original language	English
Title of host publication	N/A
Pages	542-547
DOIs	https://doi.org/10.1007/978-3-642-04238-6_55
Publication status	Published - 14 Sept 2009
Event	Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009 - Potsdam, Springer Verlag, Germany Duration: 14 Sept 2009 → 14 Sept 2009

Conference

Conference	Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009
Period	14/09/09 → 14/09/09

Keywords

algorithmic composition
computational music theory
computer music
logic programming

Access to Document

10.1007/978-3-642-04238-6_55

Cite this

@inproceedings{883398fe1c0a499e841e52f4c764a16a,

title = "Anton: Composing logic and logic composing. In Logic Programming and Nonmonotonic Reasoning",

abstract = "In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built. This paper describes the use of answer set programming to construct an automated system, named ANTON, that can compose both melodic and harmonic music, diagnose errors in human compositions and serve as a computer-aided composition tool.",

keywords = "algorithmic composition, computational music theory, computer music, logic programming",

author = "Georg Boenn and Martin Brain and Vos, {Marina De} and John Fitch",

year = "2009",

month = sep,

day = "14",

doi = "10.1007/978-3-642-04238-6_55",

language = "English",

pages = "542--547",

booktitle = "N/A",

note = " Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009 ; Conference date: 14-09-2009 Through 14-09-2009",

}

TY - GEN

T1 - Anton: Composing logic and logic composing. In Logic Programming and Nonmonotonic Reasoning

AU - Boenn, Georg

AU - Brain, Martin

AU - Vos, Marina De

AU - Fitch, John

PY - 2009/9/14

Y1 - 2009/9/14

N2 - In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built. This paper describes the use of answer set programming to construct an automated system, named ANTON, that can compose both melodic and harmonic music, diagnose errors in human compositions and serve as a computer-aided composition tool.

AB - In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built. This paper describes the use of answer set programming to construct an automated system, named ANTON, that can compose both melodic and harmonic music, diagnose errors in human compositions and serve as a computer-aided composition tool.

KW - algorithmic composition

KW - computational music theory

KW - computer music

KW - logic programming

U2 - 10.1007/978-3-642-04238-6_55

DO - 10.1007/978-3-642-04238-6_55

M3 - Conference contribution

SP - 542

EP - 547

BT - N/A

T2 - Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009

Y2 - 14 September 2009 through 14 September 2009

ER -

Anton: Composing logic and logic composing. In Logic Programming and Nonmonotonic Reasoning

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this