Keyphrases
- belief revision
- default reasoning
- belief change
- propositional logic
- logical properties
- nonmonotonic reasoning
- belief update
- plausible inference
- logical framework
- knowledge base
- plausible reasoning
- conditional logic
- cost based abduction
- temporal logic
- epistemic states
- dynamic aspects
- possibilistic logic
- minimal change
- belief merging
- belief base
- logic programs
- bayesian networks