Keyphrases
- prime implicates
- modal logic
- prime implicants
- temporal logic
- normal form
- belief change
- inference rules
- modal operators
- desirable properties
- knowledge compilation
- classical logic
- dynamic logic
- nonmonotonic logics
- default logic
- conditional logic
- situation calculus
- explanation based generalization
- complexity theoretic
- abductive reasoning
- object oriented
- propositional logic
- kripke models