On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A complete revision function in propositional calculus
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Spatial Information Revision: A Comparison between 3 Approaches
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
In this paper, we define a revision approach based on the space decomposition using one of the properties of geographical information called the containment property. This approach allows us to calculate a correct and complete solution which respects the principle of minimal change.