Keyphrases
- modal logic
- temporal logic
- inference rules
- epistemic logic
- decision procedures
- nonmonotonic logics
- maximum likelihood
- conditional logic
- association rules
- expectation maximization
- default logic
- situation calculus
- threshold values
- background knowledge
- classical logic
- reinforcement learning
- autoepistemic logic
- higher order
- modal operators