Implementing Integrity Constraints in an Existing Belief Revision System
Frances L. JohnsonStuart C. ShapiroPublished in: CoRR (2000)
Keyphrases
- integrity constraints
- belief revision
- belief change
- propositional logic
- belief update
- deductive databases
- integrity checking
- functional dependencies
- knowledge base
- minimal change
- query answering
- nonmonotonic reasoning
- database schema
- logical framework
- conjunctive queries
- temporal logic
- xml documents
- belief merging
- epistemic states
- databases