How to change factual beliefs using laws and dependence information
Résumé
We investigate how belief change operations can be effectively constructed. To that end we suppose given a set of laws (alias integrity constraints) together with a relation of dependence between formulas.