Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- positive and negative
- classical logic
- epistemic logic
- default logic
- nonmonotonic logics
- explanation based generalization
- dynamic logic
- model checking
- situation calculus
- autoepistemic logic
- description logic alc
- conditional logic
- upper bound
- data model
- prime implicates
- lower bound
- machine learning