Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- conditional logic
- nonmonotonic logics
- default logic
- music composition
- music information retrieval
- music retrieval
- epistemic logic
- audio signals
- classical logic
- situation calculus
- artificial intelligence
- music score
- music recommendation
- prime implicates
- fixed point
- dynamic logic
- model checking
- background knowledge
- cooperative