Automatic music composition using answer set programming.
Georg BoennMartin BrainMarina De VosJohn P. FitchPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- answer set programming
- music composition
- logic programs
- logic programming
- answer sets
- causal theories
- constraint logic programming
- artificial intelligence
- answer set programs
- stable model semantics
- human centered
- knowledge representation
- stable models
- disjunctive logic programming
- modulo theories
- data mining
- human robot interaction
- deductive databases
- inductive logic programming
- orders of magnitude
- general purpose
- machine learning