{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:14:42Z","timestamp":1760170482175},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,7,2]],"date-time":"2008-07-02T00:00:00Z","timestamp":1214956800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s10489-008-0135-x","type":"journal-article","created":{"date-parts":[[2008,6,30]],"date-time":"2008-06-30T22:16:39Z","timestamp":1214864199000},"page":"60-87","source":"Crossref","is-referenced-by-count":19,"title":["An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS"],"prefix":"10.1007","volume":"32","author":[{"given":"Salem","family":"Benferhat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Ben-Naim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"W\u00fcrbel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,7,2]]},"reference":[{"issue":"2","key":"135_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourron","year":"1985","unstructured":"Alchourron C, G\u00e4rdenfors P, Makinson D (1985) On the logic of theory change: partial meet functions for contraction and revision. J Symb Log 50(2):510\u2013530","journal-title":"J Symb Log"},{"key":"135_CR2","series-title":"Lecture notes in artificial intelligence. Logics for AI","first-page":"604","volume-title":"Proceedings of JELIA\u201904","author":"J Ben-Naim","year":"2004","unstructured":"Ben-Naim J, Benferhat S, Papini O, W\u00fcrbel E (2004) An answer set programming approach of prioritized removed sets revision: application to GIS. In: Alferes J, Leite J (eds) Proceedings of JELIA\u201904, Lisbon, Portugal, September 2004. Lecture notes in artificial intelligence. Logics for AI. Springer, Berlin, pp 604\u2013616"},{"key":"135_CR3","unstructured":"Benferhat S, Cayrol C, Dubois D, Lang J, Prade H (1993) Inconsistency management and prioritized syntax-based entailment. In: Proceedings of IJCAI93, pp 640\u2013645"},{"key":"135_CR4","unstructured":"Brewka G, Niemel\u00e4 I, Truszczynski M (2003) Answer set optimization. In: Proceedings of eighteenth international joint conference on artificial intelligence (IJCAI\u201903), pp 867\u2013872"},{"key":"135_CR5","first-page":"79","volume-title":"Proceedings of the 1997 international conference on logic programming","author":"F Buccafurri","year":"1999","unstructured":"Buccafurri F, Faber W, Leone N (1999) Disjunctive logic programs with inheritance. In: Proceedings of the 1997 international conference on logic programming. MIT Press, Cambridge, pp 79\u201393"},{"key":"135_CR6","unstructured":"Cayrol C, Lagasquie-Schiex M-C (1994) On the complexity of nonmonotonic entailment in syntax-based approaches. In: Proceedings of the ECAI94 workshop on algorithms, complexity and commonsense reasoning"},{"key":"135_CR7","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0004-3702(99)00053-3","volume":"112","author":"P Cholewinski","year":"1999","unstructured":"Cholewinski P, Marek V, Mikitiuk A, Truszczynski M (1999) Computing with default logic. Artif Intell 112:105\u2013146","journal-title":"Artif Intell"},{"issue":"2","key":"135_CR8","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S1471068402001539","volume":"3","author":"JP Delgrande","year":"2003","unstructured":"Delgrande JP, Schaub T, Tompits H (2003) A framework for compiling preferences in logic programs. Theory Pract Log Program 3(2):129\u2013187","journal-title":"Theory Pract Log Program"},{"key":"135_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J Doyle","year":"1979","unstructured":"Doyle J (1979) A truth maintenance system. Artif Intell 12:231\u2013272","journal-title":"Artif Intell"},{"key":"135_CR10","doi-asserted-by":"crossref","unstructured":"E\u00e9n N, S\u00f6rensson N (2003) An extensible SAT-solver. In: Proceedings of 6th international conference on theory and applications of satisfiability testing","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"135_CR11","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T Eiter","year":"1992","unstructured":"Eiter T, Gottlob G (1992) On the complexity of propositional knowledge base revision, updates and counterfactual. Artif Intell 57:227\u2013270","journal-title":"Artif Intell"},{"key":"135_CR12","unstructured":"Eiter T, Leone N, Mateis C, Pfeifer G, Scarcello F (1998) The kr system dlv: progress report, comparison and benchmarks. In: Proceedings of KR\u201998, pp 406\u2013417"},{"key":"135_CR13","doi-asserted-by":"crossref","unstructured":"Fagin R, Ullman JD, Vardi MY (1983) On the semantic of updates in databases. In: Proceedings of the 2nd ACM symp. on principles of data base systems, pp 352\u2013365","DOI":"10.1145\/588058.588100"},{"key":"135_CR14","series-title":"Bradford books","volume-title":"Knowledge in flux: modeling the dynamics of epistemic states","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P (1988) Knowledge in flux: modeling the dynamics of epistemic states. Bradford books. MIT Press, Cambridge"},{"key":"135_CR15","unstructured":"Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Proceedings of the international conference on logic programming, pp 1070\u20131080"},{"key":"135_CR16","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1991","unstructured":"Katsuno H, Mendelzon A (1991) Propositional knowledge base revision and minimal change. Artif Intell 52:263\u2013294","journal-title":"Artif Intell"},{"key":"135_CR17","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J Kleer De","year":"1986","unstructured":"De Kleer J (1986) An assumption-based TMS. Artif Intell 28:127\u2013162","journal-title":"Artif Intell"},{"key":"135_CR18","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","volume":"45","author":"J Kleer De","year":"1990","unstructured":"De Kleer J (1990) Using crude probability estimates to guide diagnosis. Artif Intell 45:381\u2013392","journal-title":"Artif Intell"},{"key":"135_CR19","unstructured":"Lehman D (1995) Belief revision revisited. In: Proceedings of 14th int. joint conference on artificial intelligence, pp 1534\u20131539"},{"key":"135_CR20","unstructured":"Liberatore P, Schaerf M (1996) The complexity of model checking for belief revision and update. In: AAAI\u201996, pp 556\u2013561"},{"key":"135_CR21","doi-asserted-by":"crossref","unstructured":"Linke T (2002) More on nomore. In: Proceedings of NMR\u201902","DOI":"10.1007\/3-540-45757-7_39"},{"key":"135_CR22","unstructured":"Nebel B (1991) Belief revision and default reasoning: syntax-based approach. In: Proceedings of knowledge representation, pp\u00a0417\u2013427"},{"key":"135_CR23","doi-asserted-by":"crossref","unstructured":"Nebel B (1998) How hard is to revise a belief base? In: Handbook of defeasible reasoning and uncertainty management systems, vol\u00a03, pp 77\u2013145","DOI":"10.1007\/978-94-011-5054-5_3"},{"key":"135_CR24","unstructured":"Niemel\u00e4 I (1998) Logic programs with stable semantics as a constraint programming paradigm. In: Proceedings of the workshop on computational aspect of non monotonic reasoning, pp 72\u201379"},{"key":"135_CR25","doi-asserted-by":"crossref","unstructured":"Niemel\u00e4 I, Simons P (1997) An implementation of stable model and well-founded semantics for normal logic programs. In: Proceedings of LPNMR\u201997, pp 420\u2013429","DOI":"10.1007\/3-540-63255-7_32"},{"key":"135_CR26","unstructured":"Osorio M, Zepeda C (2007) Properties of update sequences. In: Proceedings of 4th international workshop on answer set programming (ASP2007)"},{"key":"135_CR27","first-page":"339","volume-title":"Proceedings of ECAI92","author":"O Papini","year":"1992","unstructured":"Papini O (1992) A complete revision function in propositional calculus. In: Neumann B (ed) Proceedings of ECAI92. Wiley, New York, pp 339\u2013343"},{"issue":"1","key":"135_CR28","first-page":"191","volume":"8","author":"D Raclot","year":"1998","unstructured":"Raclot D, Puech C (1998) 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. Rev Int G\u00e9omatique 8(1):191\u2013206","journal-title":"Rev Int G\u00e9omatique"},{"key":"135_CR29","doi-asserted-by":"crossref","unstructured":"Rao P, Sagonas K, Swift, Warren DS, Friere J (1997) Xsb: A\u00a0system for efficiently computing well-founded semantics. In: Proceedings of LPNMR\u201997, pp 430\u2013440","DOI":"10.1007\/3-540-63255-7_33"},{"key":"135_CR30","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32:57\u201395","journal-title":"Artif Intell"},{"issue":"1\u20132","key":"135_CR31","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","volume":"123","author":"C Sakama","year":"2000","unstructured":"Sakama C, Inoue K (2000) Prioritized logic programming and its application to commonsense reasoning. Artif Intell 123(1\u20132):185\u2013222","journal-title":"Artif Intell"},{"key":"135_CR32","unstructured":"Schaub T, Wang K (2001) A comparative study of logic programs with preference. In: Proceedings of seventeenth international joint conference on artificial intelligence (IJCAI\u201901), pp 597\u2013602"},{"key":"135_CR33","unstructured":"Simons P (2000) Extending and implementing the stable model semantics. PhD Thesis, Helsinki University of Technology"},{"issue":"1\u20132","key":"135_CR34","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons P, Niemel\u00e4 I, Soininen T (2002) Extending and implementing the stable model semantics. Artif Intell 138(1\u20132):181\u2013234","journal-title":"Artif Intell"},{"key":"135_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/int.4550090103","volume":"9","author":"L Sombe","year":"1994","unstructured":"Sombe L (1994) A glance at revision and updating in knowledge bases. Int J Intell Syst 9:1\u201327","journal-title":"Int J Intell Syst"},{"key":"135_CR36","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"RW Wilkerson","year":"1989","unstructured":"Wilkerson RW, Greiner R, Smith BA (1989) A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artif Intell 41:79\u201388","journal-title":"Artif Intell"},{"key":"135_CR37","unstructured":"Williams MA, Williams D (1997) A belief revision system for the world wide web. In: Proceedings of the IJCAI workshop of the future of artificial intelligence and the Internet, pp 39\u201351"},{"key":"135_CR38","first-page":"505","volume-title":"Proceedings of the seventh international conference about principles of knowledge representation and reasoning, KR2000","author":"E W\u00fcrbel","year":"2000","unstructured":"W\u00fcrbel E, Jeansoulin R, Papini O (2000) Revision: an application in the framework of gis. In: Cohn AG, Giunchiglia F, Selman B (eds) Proceedings of the seventh international conference about principles of knowledge representation and reasoning, KR2000, Breckenridge, Colorado, USA, April 2000. Morgan Kaufmann, San Mateo, pp 505\u2013516"},{"key":"135_CR39","first-page":"454","volume-title":"Proceedings of the sixth European conference on symbolic and quantitative approaches to reasoning with uncertainty, ECSQARU 2001","author":"E W\u00fcrbel","year":"2001","unstructured":"W\u00fcrbel E, Jeansoulin R, Papini O (2001) Spatial information revision: a comparison between 3 approaches. In: Proceedings of the sixth European conference on symbolic and quantitative approaches to reasoning with uncertainty, ECSQARU 2001, Toulouse, France. Springer, Berlin, pp 454\u2013465"},{"key":"135_CR40","first-page":"69","volume-title":"Proceedings of the 1997 international logic symposium","author":"Y Zang","year":"1997","unstructured":"Zang Y, Foo N (1997) Answer sets for prioritized logic programs. In: Proceedings of the 1997 international logic symposium. MIT Press, Cambridge, pp 69\u201383"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-008-0135-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-008-0135-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-008-0135-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:25:42Z","timestamp":1559154342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-008-0135-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,2]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["135"],"URL":"https:\/\/doi.org\/10.1007\/s10489-008-0135-x","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,2]]}}}