ANTON: Composing logic and logic composing


Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2009. ANTON: Composing logic and logic composing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009).Vol. 5753, 2009. Springer, pp. 542-547. (Lecture Notes in Artificial Intelligence)

Related documents:

PDF (j_t.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (63kB) | Preview

    Official URL:


    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.


    Item Type Book Sections
    CreatorsBoenn, G., Brain, M., De Vos, M. and ffitch, J.
    EditorsErdem, E., Fangzhen, L. and Schaub, T.
    DepartmentsFaculty of Science > Computer Science
    Research CentresCentre for Mathematical Biology
    ID Code25399
    Additional Information10th International Conference on Logic Programming and Nonmonotonic Reasoning. Potsdam, Germany, 14-18 September, 2009


    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...