Revision of Spatial Information by Containment
暂无分享,去创建一个
[1] Anthony G. Cohn,et al. A Spatial Logic based on Regions and Connection , 1992, KR.
[2] Odile Papini. A Complete Revision Function in Propositional Calculus , 1992, ECAI.
[3] Odile Papini,et al. Revision: an application in the framework of GIS , 2000, International Conference on Principles of Knowledge Representation and Reasoning.
[4] Marco Schaerf,et al. The Complexity of Model Checking for Belief Revision and Update , 1996, AAAI/IAAI, Vol. 1.
[5] Georg Gottlob,et al. On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..
[6] Odile Papini,et al. Spatial Information Revision: A Comparison between 3 Approaches , 2001, ECSQARU.
[7] Michael Clarke,et al. Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.