Keyphrases
- belief revision
- epistemic states
- belief change
- conditional logic
- propositional logic
- revision operators
- knowledge base
- default reasoning
- minimal change
- nonmonotonic reasoning
- databases
- data sets
- belief update
- possibility theory
- possibilistic logic
- belief base
- temporal logic
- programming language
- user interface
- expert systems
- database
- belief set