{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:15:16Z","timestamp":1760170516679},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029059"},{"type":"electronic","value":"9783642029066"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02906-6_33","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T19:07:29Z","timestamp":1244228849000},"page":"371-382","source":"Crossref","is-referenced-by-count":9,"title":["Merging Belief Bases Represented by Logic Programs"],"prefix":"10.1007","author":[{"given":"Julien","family":"Hu\u00e9","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":"33_CR1","series-title":"Lecture Notes in Computer Science","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, vol.\u00a02424, pp. 521\u2013524. Springer, Heidelberg (2002)"},{"key":"33_CR2","series-title":"LNAI","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":"33_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":"33_CR4","doi-asserted-by":"crossref","unstructured":"Bloch, I., Lang, J.: Towards mathematical morpho-logics. In: Technologies for constructing intelligent systems: tools, Heidelberg, Germany, pp. 367\u2013380. Physica-Verlag GmbH (2002)","DOI":"10.1007\/978-3-7908-1796-6_29"},{"key":"33_CR5","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":"33_CR6","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":"33_CR7","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":"33_CR8","series-title":"Lecture Notes in Computer Science","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, vol.\u00a04724, pp. 66\u201377. Springer, Heidelberg (2007)"},{"key":"33_CR9","unstructured":"Hue, J., Papini, O., W\u00fcrbel, E.: Removed sets fusion: Performing off the shelf. In: Proc. of ECAI 2008 (2008)"},{"key":"33_CR10","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":"33_CR11","unstructured":"Konieczny, S., Pino P\u00e9rez, R.: On the logic of merging. In: Proc. of KR 1998, pp. 488\u2013498 (1998)"},{"key":"33_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-48747-6_22","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"S. Konieczny","year":"1999","unstructured":"Konieczny, S., Pino P\u00e9rez, R.: Merging with integrity constraints. In: Hunter, A., Parsons, S. (eds.) ECSQARU 1999. LNCS, vol.\u00a01638, p. 233. Springer, Heidelberg (1999)"},{"issue":"1-2","key":"33_CR13","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":"33_CR14","first-page":"363","volume":"83","author":"J. Lin","year":"1996","unstructured":"Lin, J.: Integration of weighted knowledge bases. AI\u00a083, 363\u2013378 (1996)","journal-title":"AI"},{"issue":"1","key":"33_CR15","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1142\/S0218843098000040","volume":"7","author":"J. Lin","year":"1998","unstructured":"Lin, J., Mendelzon, A.O.: Merging databases under constraints. Int. Journal of Cooperative Information Systems\u00a07(1), 55\u201376 (1998)","journal-title":"Int. Journal of Cooperative Information Systems"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Meyer, T., Ghose, A., Chopra, S.: Syntactic representations of semantic merging operations. In: Proc. of IJCAI 2001 (2001)","DOI":"10.1007\/3-540-45683-X_88"},{"key":"33_CR17","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":"33_CR18","doi-asserted-by":"crossref","unstructured":"Revesz, P.Z.: On the semantics of theory change: arbitration between old and new information. In: 12 th ACM SIGACT-SGMIT-SIGART symposium on Principes of Databases, pp. 71\u201392 (1993)","DOI":"10.1145\/153850.153857"},{"issue":"2","key":"33_CR19","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. Journal of Algebra and Computation\u00a07(2), 133\u2013160 (1997)","journal-title":"Journal of Algebra and Computation"},{"key":"33_CR20","unstructured":"Fagin, R., Kuper, G.M., Ullman, J.D., Vardi, M.Y.: Updating logical databases. In: Advances in computing research, pp. 1\u201318 (1986)"},{"issue":"4","key":"33_CR21","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1017\/S1471068403001819","volume":"3","author":"H. Turner","year":"2003","unstructured":"Turner, H.: Strong equivalence made easy: nested expressions and weight constraints. Theory Pract. Log. Program.\u00a03(4), 609\u2013622 (2003)","journal-title":"Theory Pract. Log. Program."}],"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\/978-3-642-02906-6_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T14:10:10Z","timestamp":1558361410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02906-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029059","9783642029066"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02906-6_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}