Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- high resolution
- epistemic logic
- classical logic
- nonmonotonic logics
- conditional logic
- situation calculus
- default logic
- autoepistemic logic
- low resolution
- programming language
- dynamic logic
- default reasoning
- expert systems
- object oriented
- case based reasoning
- prime implicates
- kripke models