ANTON: Composing logic and logic composing

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

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSpringer

Conference

Conference10th International Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR (2009)
CountryGermany
CityPotsdam
Period14/09/0918/09/09

Fingerprint

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

Cite this