An expert system for harmonization of chorales in the style of J. S. Bach
An expert system for harmonization of chorales in the style of J. S. Bach
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
The DLVK Planning System: Progress Report
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Computer Music Journal
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
GrinGo: a new grounder for answer set programming
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
A social semantics for multi-agent systems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
TOAST: applying answer set programming to superoptimisation
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Modelling biological networks by action languages via answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Automatic music composition using answer set programming
Theory and Practice of Logic Programming
Challenges in answer set solving
Logic programming, knowledge representation, and nonmonotonic reasoning
Conflict-driven answer set solving: From theory to practice
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)
Composing fifth species counterpoint music with a variable neighborhood search algorithm
Expert Systems with Applications: An International Journal
AI methods in algorithmic composition: a comprehensive survey
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
The composition of most styles of music is governed by rules. The natural statement of these rules is declarative ("The highest and lowest notes in a piece must be separated by a consonant interval") and non deterministic ("The base note of a key can be followed by any note in the key"). We show that by approaching the automation and analysis of composition as a knowledge representation task and formalising 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 that can compose both melodic and harmonic music, diagnose errors in human compositions and serve as a computer-aided composition tool. The use of a fully declarative language and an "off-the-shelf" reasoning engine allows the creation of tools which are significantly simpler, smaller and more flexible than those produced by existing approaches. It also combines harmonic and melodic composition in a single framework, which is a new feature in the growing area of algorithmic composition.