{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:03:36Z","timestamp":1725559416630},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540273264"},{"type":"electronic","value":"9783540318880"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11518655_39","type":"book-chapter","created":{"date-parts":[[2010,7,15]],"date-time":"2010-07-15T14:45:39Z","timestamp":1279205139000},"page":"452-464","source":"Crossref","is-referenced-by-count":1,"title":["Belief Revision of GIS Systems: The Results of REV!GIS"],"prefix":"10.1007","author":[{"given":"Salem","family":"Benferhat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Bennaim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Jeansoulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahat","family":"Khelfallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Lagrue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nic","family":"Wilson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"W\u00fcrbel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"Bellicha, A., et al.: Autour du probl\u00e8me de satisfaction de contraintes. In: Actes des 5\u00e8mes journ\u00e9es nationales du PRC GDR Intelligence Artificielle, pp. 159\u2013178 (1995)"},{"key":"39_CR2","unstructured":"Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proc. of IJCAI 1993, pp. 640\u2013645 (1993)"},{"key":"39_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1007\/978-3-540-30227-8_50","volume-title":"Logics in Artificial Intelligence","author":"J. Bennaim","year":"2004","unstructured":"Bennaim, J., Benferhat, S., Papini, O., W\u00fcrbel, E.: An answer set programming approach of prioritized removed sets revision: Application to gis. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 604\u2013616. Springer, Heidelberg (2004)"},{"issue":"8","key":"39_CR4","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on computers"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An Extensible SAT-solver. In: Proc. of ICTAS 2003 (2003)","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"39_CR6","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","volume":"45","author":"J. Kleer De","year":"1990","unstructured":"De Kleer, J.: Using crude probability estimates to guide diagnosis. Artificial Intelligence\u00a045, 381\u2013392 (1990)","journal-title":"Artificial Intelligence"},{"key":"39_CR7","unstructured":"Jeansoulin, R., Papini, O.: R\u00e9vision et information spatiale. In: Le temps, l\u2019espace et l\u2019evolutif en sciences du traitement de l\u2019information, pp. 293\u2013304. C\u00e9padues-\u00e9ditions (2000)"},{"key":"39_CR8","unstructured":"Khelfallah, M., Wilson, N., Jeansoulin, R.: Geographic Information Revision based on linear constraints. Tech. Rep., Annex 313.4 of report R313, REVIGIS project (2003)"},{"key":"39_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer De","year":"1986","unstructured":"De Kleer, J.: An assumption-based TMS. Artificial Intelligence\u00a028, 127\u2013162 (1986)","journal-title":"Artificial Intelligence"},{"key":"39_CR10","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1017\/CBO9780511526664.003","volume-title":"Belief Revision","author":"B. Nebel","year":"1992","unstructured":"Nebel, B.: Syntax based approaches to belief revision. In: G\u00e4rdenfors, P. (ed.) Belief Revision, pp. 52\u201388. Cambridge University Press, UK (1992)"},{"key":"39_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemela","year":"1997","unstructured":"Niemela, I., Simons, P.: An implementation of stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"39_CR12","first-page":"339","volume-title":"Proc. of ECAI 1992","author":"O. Papini","year":"1992","unstructured":"Papini, O.: A complete revision function in propositionnal calculus. In: Neumann, B. (ed.) Proc. of ECAI 1992, pp. 339\u2013343. John Wiley and Sons. Ltd, Chichester (1992)"},{"issue":"1","key":"39_CR13","first-page":"191","volume":"8","author":"D. Raclot","year":"1998","unstructured":"Raclot, D., Puech, C.: Photographies a\u00e9riennes et inondation: globalisation d\u2019informations floues par un syst\u00e8me de contraintes pour d\u00e9finir les niveaux d\u2019eau en zone inond\u00e9e. Revue internationale de g\u00e9omatique\u00a08(1), 191\u2013206 (1998)","journal-title":"Revue internationale de g\u00e9omatique"},{"key":"39_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-30075-5_15","volume-title":"Database and Expert Systems Applications","author":"S. Lagrue","year":"2004","unstructured":"Lagrue, S., Devillers, R., Besqueut, J.-Y.: Partially ordered preferences applied to the site location problem in urban planning. In: Galindo, F., Takizawa, M., Traunm\u00fcller, R. (eds.) DEXA 2004. LNCS, vol.\u00a03180, pp. 151\u2013160. Springer, Heidelberg (2004)"},{"key":"39_CR15","unstructured":"Wilson, N.: The logic of linear constraints and its application to the flooding problem. Technical report, REVIGIS project report (2002)"},{"key":"39_CR16","unstructured":"Wilson, N., Khelfallah, M., Jeansoulin, R.: Geographic information revision based on linear constraints. Technical report, REVIGIS project- Annex 313.4 (2003)"},{"key":"39_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/3-540-44652-4_40","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"E. Wurbel","year":"2001","unstructured":"Wurbel, E., Jeansoulin, R., Papini, O.: Spatial information revision: A comparision between 3 approaches. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 454\u2013465. Springer, Heidelberg (2001)"},{"key":"39_CR18","first-page":"505","volume-title":"Proc. of KR 2000","author":"E. W\u00fcrbel","year":"2000","unstructured":"W\u00fcrbel, E., Jeansoulin, R., Papini, O.: Revision: An application in the framework of gis. In: Proc. of KR 2000, pp. 505\u2013516. Morgan Kaufmann, San Francisco (2000)"},{"key":"39_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/3-540-44652-4_40","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"\u00c9. W\u00fcrbel","year":"2001","unstructured":"W\u00fcrbel, \u00c9., Jeansoulin, R., Papini, O.: Spatial information revision: A comparison between 3 approaches. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 454\u2013465. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11518655_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:15:13Z","timestamp":1558296913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11518655_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540273264","9783540318880"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11518655_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}