Minimal-change integrity maintenance using tuple deletions.
Jan ChomickiJerzy MarcinkowskiPublished in: Inf. Comput. (2005)
Keyphrases
- minimal change
- belief revision
- belief change
- logic program updates
- belief update
- update operations
- ctl model update
- reasoning about actions
- action theories
- propositional knowledge base
- propositional logic
- integrity constraints
- model theoretic
- nonmonotonic reasoning
- default reasoning
- logic programs
- database
- data access
- data model