Spatial information revision: A comparison between 3 approaches

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2143, Issue , 2001, Pages 454-465

  Würbel, Éric ^a   Jeansoulin, Robert ^a   Papini, Odile ^b  

^a AIX MARSEILLE UNIVERSITY   (France)

^b UNIVERSITÉ DE TOULON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS;

BELIEF REVISION; HIGH COMPLEXITY; LARGE AMOUNTS; REAL APPLICATIONS; SPATIAL INFORMATIONS; SPEED UP; UNCERTAIN INFORMATIONS;

GEOGRAPHIC INFORMATION SYSTEMS;

EID: 84937427581     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44652-4_40     Document Type: Conference Paper

References (17)

1. Alchourrón, Gärdenfors, and Makinson. On the logic of theory change : Partial meet contraction and revision functions. J. of Symbolic Logic, 50(2):510-530, 1985.
2. Daniel Le Berre. Autour de SAT : le calcul d'implicants P-restreints, algorithmes et applications. These de doctorat, Universite Paul Sabatier, Toulouse, France, January 2000.
3. Fabrice Bouquet and Philippe Jegou. Solving over-constrained CSP using weighted OBDDs. In Michael Jampel, Eugene Freuder, and Michael Maher, editors, Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, pages 293-308. Springer-Verlag, 1996.
4. Randal E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on computers, C-35(8):677-691, August 1986.
5. Thierry Castell, Claudette Cayrol, Michel Cayrol, and Daniel Le Berre. Using the Davis and Putnam procedure for an efficient computation of preferred models. In W. Wahlster, editor, ECAI96. John Wiley and Sons, Ltd, 1996.
6. T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates and counterfactual. Artificial Intelligence, 57:227-270, 1992.
7. H. Katsuno and A. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263-294, 1991.
8. Marie-Christine Lagasquie-Schiex. Contribution a l'etude des relations d'inference non-monotone combinant inf-erence classique et preferences. PhD thesis, Universite Paul Sabatier, Toulouse, IRIT, Universite Paul Sabatier, 118 route de Narbonne, 31062 Toulouse Cedex, December 1995.
9. Paolo Liberatore and Marco Schaerf. The complexity of model checking for belief revision and update. In AAAI'96, pages 556-561, 1996.
10. Odile Papini. A complete revision function in propositionnal calculus. In B. Neumann, editor, Proceedings of ECAI92, pages 339-343. John Wiley and Sons. Ltd, 1992.
11. Damien Raclot and Christian Puech. Photographies a-eriennes et inondation : globalisation d'informations floues par un systeme de contraintes pour d-e-nir les niveaux d'eau en zone inondee. Revue internationale de gEomatique, 8(1):191-206, February 1998.
12. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57-95, 1987.
13. Renata Wasserman. An algorithm for belief revision. In Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, Proceedings of the Seventh Internationnal Conference about Principles of Knowledge Representation and Reasoning, KR2000, pages 345-352, Breckenridge, Colorado, USA, April 2000. KR, inc., Morgan Kaufmann.
14. Ralph W. Wilkerson, Russel Greiner, and Barbara A. Smith. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence, 41:79-88, 1989.
15. M. A. Williams and D. Williams. A belief revision system for the world wide web. In Proceedings of the IJCAI workshop of the Future of Artificial Intelligence and the Internet, pages 39-51, 1997.
16. Eric Würbel. Revision de connaissances geographiques. PhD thesis, UniversitE de Provence, LIM-CMI, 39 avenue Joliot-Curie 13453 Marseille cedex 13, December 2000.
17. Eric Würbel, Robert Jeansoulin, and Odile Papini. Revision : An application in the framework of GIS. In Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, Proceedings of the Seventh Internationnal Conference about Principles of Knowledge Representation and Reasoning, KR2000, pages 505-516, Breckenridge, Colorado, USA, April 2000. KR, inc., Morgan Kaufmann.