{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:48:30Z","timestamp":1743094110223,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642140549"},{"type":"electronic","value":"9783642140556"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14055-6_15","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T14:44:24Z","timestamp":1277822664000},"page":"138-147","source":"Crossref","is-referenced-by-count":1,"title":["Implementing Prioritized Merging with ASP"],"prefix":"10.1007","author":[{"given":"Julien","family":"Hue","sequence":"first","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":"15_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/3-540-45757-7_46","volume-title":"Logics in Artificial Intelligence","author":"C. Anger","year":"2002","unstructured":"Anger, C., Konczak, K., Linke, T.: Nomore: Non-monotonic reasoning with logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 521\u2013524. Springer, Heidelberg (2002)"},{"key":"15_CR2","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Logic Programming and Nonmonotonic Reasoning","year":"2007","unstructured":"Baral, C., Brewka, G., Schlipf, J. (eds.): LPNMR 2007. LNCS (LNAI), vol.\u00a04483. Springer, Heidelberg (2007)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-54563-8_73","volume-title":"Methodologies for Intelligent Systems","author":"C. Baral","year":"1991","unstructured":"Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining knowledge bases consisting of first order theories. In: Ra\u015b, Z.W., Zemankova, M. (eds.) ISMIS 1991. LNCS, vol.\u00a0542, pp. 92\u2013101. Springer, Heidelberg (1991)"},{"key":"15_CR4","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\u2013647 (1993)"},{"issue":"1-3","key":"15_CR5","first-page":"217","volume":"34","author":"S. Benferhat","year":"2002","unstructured":"Benferhat, S., Dubois, D., Kaci, S., Prade, H.: Possibilistic Merging and Distance-based Fusion of Propositional Information. AMAI\u00a034(1-3), 217\u2013252 (2002)","journal-title":"AMAI"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Reasoning in inconsistent stratified knowledge bases. In: Proc. of ISMVL 1996, pp. 184\u2013189 (1996)","DOI":"10.1109\/ISMVL.1996.508357"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Benferhat, S., Dubois, D., Prade, H., Williams, M.-A.: A practical approach to revising prioritized knowledge bases. In: KES, pp. 170\u2013173 (1999)","DOI":"10.1007\/3-540-48159-1_16"},{"issue":"1-2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0004-3702(03)00025-0","volume":"148","author":"S. Benferhat","year":"2003","unstructured":"Benferhat, S., Kaci, S.: Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases. Artif. Intell.\u00a0148(1-2), 291\u2013333 (2003)","journal-title":"Artif. Intell."},{"issue":"1-2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.artint.2003.08.003","volume":"153","author":"S. Benferhat","year":"2004","unstructured":"Benferhat, S., Kaci, S., Le Berre, D., Williams, M.-A.: Weakening conflicting information for iterated revision and knowledge integration. Artif. Intell.\u00a0153(1-2), 339\u2013371 (2004)","journal-title":"Artif. Intell."},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-7908-1796-6_29","volume-title":"Technologies for constructing intelligent systems: tools","author":"I. Bloch","year":"2002","unstructured":"Bloch, I., Lang, J.: Towards mathematical morpho-logics. In: Technologies for constructing intelligent systems: tools, pp. 367\u2013380. Springer, Heidelberg (2002)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Cholvy, L.: Reasoning about merging information. In: Handbook of DRUMS, vol.\u00a03, pp. 233\u2013263 (1998)","DOI":"10.1007\/978-94-011-5054-5_6"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Delgrande, J., Dubois, D., Lang, J.: Iterated revision as prioritized merging. In: Proc. of KR 2006, pp. 210\u2013220 (2006)","DOI":"10.1159\/000093274"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 439\u2013513 (1994)","DOI":"10.1007\/978-1-4615-5261-1_1"},{"key":"15_CR14","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The kr system dlv: progress report, comparison and benchmarks. In: Proc. of KR 1998, pp. 406\u2013417 (1998)"},{"key":"15_CR15","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Int. Conf. on Log. Prog., pp. 1070\u20131080 (1988)"},{"key":"15_CR16","unstructured":"Giunchiglia, E., Lierler, Y., Maratea, M.: Sat-based answer set programming. In: Proc. of AAAI 2004, pp. 25\u201329 (2004)"},{"key":"15_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-75256-1_9","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"J. Hue","year":"2007","unstructured":"Hue, J., Papini, O., W\u00fcrbel, E.: Syntactic propositional belief bases fusion with removed sets. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 66\u201377. Springer, Heidelberg (2007)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-02906-6_34","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"A. Hunter","year":"2009","unstructured":"Hunter, A., Liu, W.: Knowledge base stratification and merging based on degree of support. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol.\u00a05590, pp. 383\u2013395. Springer, Heidelberg (2009)"},{"key":"15_CR19","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"94","volume-title":"Proc. of ECAI 2008","author":"J. Hue","year":"2008","unstructured":"Hue, J., Papini, O., W\u00fcrbel, E.: Removed sets fusion: Performing off the shelf. In: Proc. of ECAI 2008. Frontiers in Artificial Intelligence and Applications, pp. 94\u201398. IOS Press, Amsterdam (2008)"},{"key":"15_CR20","first-page":"135","volume-title":"Proc of KR 2000","author":"S. Konieczny","year":"2000","unstructured":"Konieczny, S.: On the difference between merging knowledge bases and combining them. In: Proc of KR 2000, pp. 135\u2013144. Morgan Kaufmann, San Francisco (2000)"},{"key":"15_CR21","unstructured":"Konieczny, S., Lang, J., Marquis, P.: Distance-based merging: A general framework and some complexity results. In: Proc. of KR 2002, pp. 97\u2013108 (2002)"},{"key":"15_CR22","unstructured":"Konieczny, S., Pino P\u00e9rez, R.: On the logic of merging. In: Proc. of KR 1998, pp. 488\u2013498 (1998)"},{"key":"15_CR23","first-page":"457","volume-title":"Proc. of KR 2000","author":"C. Lafage","year":"2000","unstructured":"Lafage, C., Lang, J.: Logical representation of preferences for group decision making. In: Proc. of KR 2000, pp. 457\u2013468. Morgan Kaufmann, San Francisco (2000)"},{"issue":"1-2","key":"15_CR24","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: Assat: computing answer sets of a logic program by sat solvers. Artif. Intell.\u00a0157(1-2), 115\u2013137 (2004)","journal-title":"Artif. Intell."},{"key":"15_CR25","unstructured":"Meyer, T., Ghose, A., Chopra, S.: Syntactic representations of semantic merging operations. In: Proc. of Workshop IDK. IJCAI 2001, pp. 36\u201342 (2001)"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, 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":"15_CR27","unstructured":"Qi, G.: A semantic approach for iterated revision in possibilistic logic. In: Proc. of AAAI 2008, pp. 523\u2013528 (2008)"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/3-540-63255-7_33","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Rao","year":"1997","unstructured":"Rao, P., Sagonas, K., Swift, T., Warren, D.S., Friere, J.: Xsb: A system for efficiently computing well-founded semantics. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 430\u2013440. Springer, Heidelberg (1997)"},{"issue":"2","key":"15_CR29","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1142\/S0218196797000095","volume":"7","author":"P.Z. Revesz","year":"1997","unstructured":"Revesz, P.Z.: On the semantics of arbitration. Journ. of Alg. and Comp.\u00a07(2), 133\u2013160 (1997)","journal-title":"Journ. of Alg. and Comp."},{"key":"15_CR30","unstructured":"Fagin, R., Kuper, G.M., Ullman, J.D., Vardi, M.Y.: Updating logical databases. In: Advances in computing research, pp. 1\u201318 (1986)"},{"key":"15_CR31","unstructured":"Simons, P.: Extending and implementing the stable model semantics (2000)"},{"key":"15_CR32","unstructured":"W\u00fcrbel, E., Jeansoulin, R., Papini, O.: Revision: An application in the framework of gis. In: Proc. of KR 2000, pp. 505\u2013516 (2000)"},{"key":"15_CR33","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-75256-1_8","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"A. Yue","year":"2007","unstructured":"Yue, A., Liu, W., Hunter, A.: Approaches to constructing a stratified merged knowledge base. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 54\u201365. Springer, Heidelberg (2007)"}],"container-title":["Communications in Computer and Information Science","Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14055-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T09:44:55Z","timestamp":1740217495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14055-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642140549","9783642140556"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14055-6_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}