Minimal-Change Integrity Maintenance Using Tuple Deletions
Jan ChomickiJerzy MarcinkowskiPublished in: CoRR (2002)
Keyphrases
- minimal change
- belief revision
- belief change
- logic program updates
- reasoning about actions
- belief update
- ctl model update
- model theoretic
- action theories
- update operations
- propositional knowledge base
- propositional logic
- database
- integrity constraints
- knowledge base
- nonmonotonic reasoning
- default reasoning
- state space