Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- default logic
- conditional logic
- classical logic
- situation calculus
- nonmonotonic logics
- autoepistemic logic
- data quality
- description logic alc
- prime implicates
- model checking
- normal form
- database design
- modal operators
- case based reasoning
- artificial intelligence