Keyphrases
- belief revision
- modal logic
- temporal logic
- conditional logic
- belief change
- default reasoning
- prime implicates
- propositional logic
- nonmonotonic reasoning
- belief update
- decision procedures
- logical properties
- plausible reasoning
- inference rules
- possibilistic logic
- classical logic
- minimal change
- default logic
- plausible inference
- nonmonotonic logics
- knowledge base
- autoepistemic logic
- model checking
- logical framework
- belief state
- situation calculus
- knowledge representation and reasoning
- revision operators
- belief merging
- cost based abduction