Keyphrases
- belief revision
- belief change
- classical logic
- minimal change
- horn logic
- propositional logic
- default reasoning
- automated theorem proving
- iterated belief revision
- epistemic states
- information retrieval
- nonmonotonic reasoning
- possibility theory
- possibilistic logic
- belief update
- horn contraction
- theorem proving
- theorem prover
- distributed systems
- high level
- knowledge base