{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:53:27Z","timestamp":1725566007477},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_50","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"604-616","source":"Crossref","is-referenced-by-count":4,"title":["An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Ben-Naim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salem","family":"Benferhat","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","reference":[{"key":"50_CR1","unstructured":"Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proceedings of IJCAI 1993, pp. 640\u2013645 (1993)"},{"key":"50_CR2","unstructured":"Benferhat, S., Kaci, S., Leberre, D., Williams, M.: Weakening Conflicting Information for Iterated Revision and Knowledge Integration. In: Proceedings of Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 109\u2013115 (2001)"},{"key":"50_CR3","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczynski, M.: Answer Set Optimization. In: Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 867\u2013872 (2003)"},{"key":"50_CR4","doi-asserted-by":"publisher","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.: Computing with default logic. Artificial intelligence\u00a0112, 105\u2013146 (1999)","journal-title":"Artificial intelligence"},{"key":"50_CR5","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1093\/logcom\/11.4.579","volume":"11","author":"S. Coste-Marquis","year":"2001","unstructured":"Coste-Marquis, S., Marquis, P.: Knowledge compilation for circumscription and closedworld reasoning. Logic and Computation\u00a011, 579\u2013607 (2001)","journal-title":"Logic and Computation"},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: A Framework for Compiling Preferences in Logic Programs. To appear in Theory and Practise of Logic Programming (2004)","DOI":"10.1017\/S1471068402001539"},{"key":"50_CR7","doi-asserted-by":"crossref","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An Extensible SAT-solver. In: Proceedings of 6th International Conference on Theory and Applications of Satisfiability Testing (2003)","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"50_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates and counterfactual. Artificial Intelligence\u00a057, 227\u2013270 (1992)","journal-title":"Artificial Intelligence"},{"key":"50_CR9","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The kr system dlv: progress report, comparison and benchmarks. In: Proceedings of KR 1998, pp. 406\u2013417 (1998)"},{"key":"50_CR10","doi-asserted-by":"crossref","unstructured":"Fagin, R., Ullman, J.D., Vardi, M.Y.: On The Semantic of Updates in Databases. In: Proceedings of the 2nd ACM Symp. on Principles of Data Base Systems, pp. 352\u2013365 (1983)","DOI":"10.1145\/588058.588100"},{"key":"50_CR11","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.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books. MIT Press, Cambridge (1988)"},{"key":"50_CR12","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the International Conference on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"50_CR13","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 Intelligenc\u00a045, 381\u2013392 (1990)","journal-title":"Artificial Intelligenc"},{"key":"50_CR14","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":"50_CR15","unstructured":"Lehmann, D.: Belief revision revisited. In: Proceedings of 14th Int. Joint Conference on Artificial Intelligence, pp. 1534\u20131539 (1995)"},{"key":"50_CR16","unstructured":"Liberatore, P., Schaerf, M.: The complexity of model checking for belief revision and update. In: AAAI 1996, pp. 556\u2013561 (1996)"},{"key":"50_CR17","doi-asserted-by":"crossref","unstructured":"Linke, T.: More on nomore. In: Proceedings of NMR 2002 (2002)","DOI":"10.1007\/3-540-45757-7_39"},{"key":"50_CR18","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1023\/A:1026088710874","volume":"39","author":"P. Marquis","year":"2003","unstructured":"Marquis, P., Porquet, N.: Resource-bounded paraconsistent inference. Annals of Mathematics and Artificial Intelligence\u00a039, 349\u2013384 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"50_CR19","unstructured":"Niemel\u00e4, I.: 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 (1998)"},{"key":"50_CR20","doi-asserted-by":"crossref","unstructured":"Niemel\u00e4, I., Simons, P.: An implementation of stable model and well-founded semantics for normal logic programs. In: Proceedings of LPNMR 1997, pp. 420\u2013429 (1997)","DOI":"10.1007\/3-540-63255-7_32"},{"key":"50_CR21","first-page":"339","volume-title":"Proceedings of ECAI 1992","author":"O. Papini","year":"1992","unstructured":"Papini, O.: A complete revision function in propositionnal calculus. In: Neumann, B. (ed.) Proceedings of ECAI 1992, pp. 339\u2013343. John Wiley and Sons. Ltd, Chichester (1992)"},{"issue":"4","key":"50_CR22","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1017\/S026988890000401X","volume":"15","author":"O. Papini","year":"2000","unstructured":"Papini, O.: Knowledge base revision. The Knowledge Engineering Review\u00a015(4), 339\u2013370 (2000)","journal-title":"The Knowledge Engineering Review"},{"issue":"1","key":"50_CR23","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":"50_CR24","doi-asserted-by":"crossref","unstructured":"Rao, P., Sagonas, K., Swift, Warren, D.S., Friere, J.: Xsb: Asystem for efficiently computing well-founded semantics. In: Proceedings of LPNMR 1997, pp. 430\u2013440 (1997)","DOI":"10.1007\/3-540-63255-7_33"},{"key":"50_CR25","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032, 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"50_CR26","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","volume":"123","author":"C. Sakama","year":"2000","unstructured":"Sakama, C., Inoue, K.: Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence\u00a0123(1-2), 185\u2013222 (2000)","journal-title":"Artificial Intelligence"},{"key":"50_CR27","unstructured":"Schaub, T., Wang, K.: A Comparative Study of Logic Programs with Preference. In: Proceedings of Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 597\u2013602 (2001)"},{"key":"50_CR28","unstructured":"Simons, P.: Extending and implementing the stable model semantics. PhD thesis, Helsinky university of technology (2000)"},{"issue":"1-2","key":"50_CR29","doi-asserted-by":"publisher","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.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"50_CR30","doi-asserted-by":"crossref","unstructured":"Sombe, L.: Revision and updating in knowledge bases. International Journal of intelligent Systems, J. Wiley, New York (1994)","DOI":"10.1002\/int.4550090103"},{"key":"50_CR31","unstructured":"Williams, M.A., Williams, D.: 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 (1997)"},{"key":"50_CR32","first-page":"505","volume-title":"Proceedings of the Seventh Internationnal Conference about Principles of Knowledge Representation and Reasoning, KR2000","author":"E. W\u00fcrbel","year":"2000","unstructured":"W\u00fcrbel, E., Jeansoulin, R., Papini, O.: Revision:An application in the framework of gis. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) Proceedings of the Seventh Internationnal Conference about Principles of Knowledge Representation and Reasoning, KR2000, Breckenridge, Colorado, USA, April 2000, pp. 505\u2013516. Morgan Kaufmann, San Francisco (2000)"},{"key":"50_CR33","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. W\u00fcrbel","year":"2001","unstructured":"W\u00fcrbel, E., Jeansoulin, R., Papini, O.: Spatial information revision:Acomparison 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","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:50:59Z","timestamp":1605761459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}