ANTON: Composing logic and logic composing

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

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

ANTON: Composing logic and logic composing

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

University of South Wales

Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

8 Citations (SciVal)

224 Downloads (Pure)

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	Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009)
Editors	Esra Erdem, L Fangzhen, T Schaub
Publisher	Springer
Pages	542-547
Number of pages	6
Volume	5753, 2009
ISBN (Print)	978-3-642-04237-9
DOIs	https://doi.org/10.1007/978-3-642-04238-6
Publication status	Published - Sept 2009
Event	10th International Conference on Logic Programming and Nonmonotonic Reasoning - Potsdam, Germany Duration: 14 Sept 2009 → 18 Sept 2009

Publication series

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer

Conference

Conference	10th International Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated title	LPNMR (2009)
Country/Territory	Germany
City	Potsdam
Period	14/09/09 → 18/09/09

Access to Document

10.1007/978-3-642-04238-6

j_t.pdf

Cite this

Boenn, G., Brain, M., De Vos, M., & ffitch, J. (2009). ANTON: Composing logic and logic composing. In E. Erdem, L. Fangzhen, & T. Schaub (Eds.), Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009) (Vol. 5753, 2009, pp. 542-547). (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-642-04238-6

ANTON: Composing logic and logic composing. / Boenn, Georg; Brain, Martin; De Vos, Marina et al.
Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009). ed. / Esra Erdem; L Fangzhen; T Schaub. Vol. 5753, 2009 Springer, 2009. p. 542-547 (Lecture Notes in Artificial Intelligence).

Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

Boenn, G, Brain, M, De Vos, M & ffitch, J 2009, ANTON: Composing logic and logic composing. in E Erdem, L Fangzhen & T Schaub (eds), Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009). vol. 5753, 2009, Lecture Notes in Artificial Intelligence, Springer, pp. 542-547, 10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, Germany, 14/09/09. https://doi.org/10.1007/978-3-642-04238-6

@inbook{35ab5803a06a482887b33d9c99536705,

title = "ANTON: Composing logic and logic composing",

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.",

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

year = "2009",

month = sep,

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

language = "English",

isbn = "978-3-642-04237-9",

volume = "5753, 2009",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

pages = "542--547",

editor = "Esra Erdem and L Fangzhen and T Schaub",

booktitle = "Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009)",

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

}

TY - CHAP

T1 - ANTON: Composing logic and logic composing

AU - Boenn, Georg

AU - Brain, Martin

AU - De Vos, Marina

AU - ffitch, John

PY - 2009/9

Y1 - 2009/9

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.

UR - http://dx.doi.org/10.1007/978-3-642-04238-6

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

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

M3 - Chapter or section

SN - 978-3-642-04237-9

VL - 5753, 2009

T3 - Lecture Notes in Artificial Intelligence

SP - 542

EP - 547

BT - Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009)

A2 - Erdem, Esra

A2 - Fangzhen, L

A2 - Schaub, T

PB - Springer

T2 - 10th International Conference on Logic Programming and Nonmonotonic Reasoning

Y2 - 14 September 2009 through 18 September 2009

ER -

ANTON: Composing logic and logic composing

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this