{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:19:04Z","timestamp":1725484744530},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424642"},{"type":"electronic","value":"9783540446521"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44652-4_40","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T00:39:07Z","timestamp":1180658347000},"page":"454-465","source":"Crossref","is-referenced-by-count":4,"title":["Spatial Information Revision: A Comparison between 3 Approaches"],"prefix":"10.1007","author":[{"given":"\u00c9ric","family":"W\u00fcrbel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Jeansoulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"issue":"2","key":"40_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, G\u00e4rdenfors, and Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic, 50(2):510\u2013530, 1985.","journal-title":"J. of Symbolic Logic"},{"key":"40_CR2","series-title":"Th\u00e9se de doctorat","volume-title":"Autour de SAT: le calcul d\u2019implicants P-restreints, algorithmes et applications","author":"D. Berre Le","year":"2000","unstructured":"Daniel Le Berre. Autour de SAT: le calcul d\u2019implicants P-restreints, algorithmes et applications. Th\u00e9se de doctorat, Universit\u00e9 Paul Sabatier, Toulouse, France, January 2000."},{"key":"40_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-61479-6_30","volume-title":"Over-Constrained Systems","author":"F. Bouquet","year":"1996","unstructured":"Fabrice Bouquet and Philippe J\u00e9gou. 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\u2013308. Springer-Verlag, 1996."},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Randal E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on computers, C-35(8):677\u2013691, August 1986.","DOI":"10.1109\/TC.1986.1676819"},{"key":"40_CR5","unstructured":"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."},{"key":"40_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates and counterfactual. Artificial Intelligence, 57:227\u2013270, 1992.","journal-title":"Artificial Intelligence"},{"key":"40_CR7","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"H. Katsuno and A. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"40_CR8","series-title":"PhD thesis","volume-title":"Contribution \u00e1 l\u2019\u00e9tude des relations d\u2019inf\u00e9rence non-monotone combinant inf\u00e9rence classique et pr\u00e9f\u00e9rences","author":"M.-C. Lagasquie-Schiex","year":"1995","unstructured":"Marie-Christine Lagasquie-Schiex. Contribution \u00e1 l\u2019\u00e9tude des relations d\u2019inf\u00e9rence non-monotone combinant inf\u00e9rence classique et pr\u00e9f\u00e9rences. PhD thesis, Universit\u00e9 Paul Sabatier, Toulouse, IRIT, Universit\u00e9 Paul Sabatier, 118 route de Nar-bonne, 3 1062 Toulouse Cedex, December 1995."},{"key":"40_CR9","unstructured":"Paolo Liberatore and Marco Schaerf. The complexity of model checking for belief revision and update. In AAAI\u201996, pages 556\u2013561, 1996."},{"key":"40_CR10","unstructured":"Odile Papini. A complete revision function in propositionnal calculus. In B. Neumann, editor, Proceedings of ECAI92, pages 339\u2013343. John Wiley and Sons. Ltd, 1992."},{"key":"40_CR11","unstructured":"Damien Raclot and Christian Puech. Photographies a\u00e9riennes et inondation: globalisation d\u2019informations floues par un syst\u00e9me de contraintes pour d\u00e9finir les niveaux d\u2019eau en zone inond\u00e9e. Revue internationale de g\u00c9omatique, 8(1):191\u2013206, February 1998."},{"key":"40_CR12","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"40_CR13","unstructured":"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\u2013352, Breckenridge, Colorado, USA, April 2000. KR, inc., Morgan Kaufmann."},{"key":"40_CR14","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. W. Wilkerson","year":"1989","unstructured":"Ralph W. Wilkerson, Russel Greiner, and Barbara A. Smith. A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artificial Intelligence, 41:79\u201388, 1989.","journal-title":"Artificial Intelligence"},{"key":"40_CR15","unstructured":"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\u201351, 1997."},{"key":"40_CR16","series-title":"PhD thesis","volume-title":"R\u00e9vision de connaissances g\u00e9ographiques","author":"E. W\u00fcrbel","year":"2000","unstructured":"Eric W\u00fcrbel. R\u00e9vision de connaissances g\u00e9ographiques. PhD thesis, UniversitE de Provence, LIM-CMI, 39 avenue Joliot-Curie 13453 Marseille cedex 13, December 2000."},{"key":"40_CR17","unstructured":"Eric W\u00fcrbel, 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\u2013516, Breckenridge, Colorado, USA, April 2000. KR, inc., Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44652-4_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:22:44Z","timestamp":1556450564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44652-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424642","9783540446521"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44652-4_40","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}