ANTON: Composing Logic and Logic Composing

Authors:
Georg Boenn;Martin Brain;Marina Vos;John Ffitch
Affiliations:
Cardiff School of Creative & Cultural Industries, University of Glamorgan, Pontypridd, UK CF37 1DL;Department of Computer Science, University of Bath, Bath, UK BA2 7AY;Department of Computer Science, University of Bath, Bath, UK BA2 7AY;Department of Computer Science, University of Bath, Bath, UK BA2 7AY
Venue:
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Year:
2009

Citing 5
Cited 3

Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
The Smodels System

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A Musical Learning Algorithm

Computer Music Journal
The Significance of Memory Costs in Answer Set Solver Implementation

Journal of Logic and Computation
Conflict-driven answer set solving

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

Artificial Intelligence
Armin: Automatic Trance Music Composition using Answer Set Programming

Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
Automata-Based computation of temporal equilibrium models

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation

Quantified Score

Hi-index	0.00

Visualization

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.