Relating Belief Revision and Circumscription.
Paolo LiberatoreMarco SchaerfPublished in: IJCAI (1995)
Keyphrases
- belief revision
- default reasoning
- nonmonotonic reasoning
- propositional logic
- conditional logic
- belief change
- nonmonotonic logics
- logical properties
- knowledge base
- temporal logic
- minimal change
- belief update
- probabilistic logic
- default logic
- belief merging
- logical framework
- plausible reasoning
- autoepistemic logic
- probabilistic reasoning
- belief state
- possibility theory
- logic programming
- bargaining solution
- cost based abduction
- dynamic aspects
- epistemic states
- belief base
- possibilistic logic
- situation calculus
- description logics