Automatic Composition of Melodic and Harmonic Music by Answer Set Programming

DOI10.1007/978-3-540-89982-2_21zbMath1185.68148OpenAlexW1576790126MaRDI QIDQ5504654

Martin Brain, Georg Boenn, M. De Vos, John Fitch

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: http://opus.bath.ac.uk/25397/1/ICLP08%2Dcamera%2Dready.pdf

Mathematics Subject Classification ID

Logic programming (68N17) Mathematics and music (00A65)

Related Items (1)

Conflict-driven answer set solving: from theory to practice

Uses Software

• Cmodels
• Gringo
• Smodels
• Lparse
• spock
• TOAST

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Answer set programming and plan generation
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• TOAST: Applying Answer Set Programming to Superoptimisation
• Modelling Biological Networks by Action Languages Via Answer Set Programming
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming