Keyphrases
- belief revision
- probabilistic logic programs
- conditional logic
- default reasoning
- probabilistic logic
- epistemic states
- belief change
- logic programming
- nonmonotonic reasoning
- propositional logic
- knowledge base
- belief update
- logical properties
- plausible reasoning
- belief merging
- plausible inference
- minimal change
- possibilistic logic
- temporal logic
- dynamic aspects
- possibility theory
- update operators
- belief set
- belief state
- general purpose
- cost based abduction
- knowledge representation