ANTON: Composing logic and logic composing

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

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

8 Citations (SciVal)
210 Downloads (Pure)


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 languageEnglish
Title of host publicationLogic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009)
EditorsEsra Erdem, L Fangzhen, T Schaub
Number of pages6
Volume5753, 2009
ISBN (Print)978-3-642-04237-9
Publication statusPublished - Sept 2009
Event10th International Conference on Logic Programming and Nonmonotonic Reasoning - Potsdam, Germany
Duration: 14 Sept 200918 Sept 2009

Publication series

NameLecture Notes in Artificial Intelligence


Conference10th International Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR (2009)


Dive into the research topics of 'ANTON: Composing logic and logic composing'. Together they form a unique fingerprint.

Cite this