Efficiency and Minimal Change in Spatial Belief Revision.
Antje KrumnackLeandra BucherJelica NejasmicMarkus KnauffPublished in: CogSci (2011)
Keyphrases
- belief revision
- minimal change
- belief change
- belief update
- propositional logic
- nonmonotonic reasoning
- default reasoning
- logical framework
- belief state
- knowledge base
- belief base
- update operations
- logical properties
- temporal logic
- epistemic states
- possibilistic logic
- possibility theory
- action theories
- deductive databases
- dynamic programming