Keyphrases
- revision operators
- belief revision
- belief base
- propositional logic
- belief change
- default reasoning
- minimal change
- nonmonotonic reasoning
- knowledge base
- logical properties
- classical logic
- default theories
- belief update
- possibilistic logic
- logical framework
- epistemic states
- temporal logic
- belief functions
- prime implicants
- merging operators
- boolean functions
- multi attribute