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

Cyfadran y Diwydiannau Creadigol

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Cyfraniad i gynhadledd › adolygiad gan gymheiriaid

Crynodeb

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.

Iaith wreiddiol	Saesneg
Teitl	N/A
Tudalennau	542-547
Dynodwyr Gwrthrych Digidol (DOIs)	https://doi.org/10.1007/978-3-642-04238-6_55
Statws	Cyhoeddwyd - 14 Medi 2009
Digwyddiad	Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009 - Potsdam, Springer Verlag, Germany Hyd: 14 Medi 2009 → 14 Medi 2009

Cynhadledd

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

Mynediad at Ddogfen

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

Dyfynnu hyn

@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

Crynodeb

Cynhadledd

Mynediad at Ddogfen

Ôl bys

Dyfynnu hyn