{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:39Z","timestamp":1749221319236},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661313"},{"type":"electronic","value":"9783540487470"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48747-6_22","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T00:14:36Z","timestamp":1193703276000},"page":"233-244","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":47,"title":["Merging with Integrity Constraints"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Konieczny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ram\u00f3n Pino","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,20]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourr\u00f3n","year":"1985","unstructured":"C. E. Alchourr\u00f3n, P. G\u00e4rdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic,50:510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"22_CR2","unstructured":"K. J. Arrow. Social choice and individual values. Wiley, New York, second edition, 1963."},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","volume":"8","author":"C. Baral","year":"1992","unstructured":"C. Baral, S. Kraus, J. Minker, and V. S. Subrahmanian. Combining knowledge bases consisting of first-order theories. Computational Intelligence, 8(1):45\u201371, 1992.","journal-title":"Computational Intelligence"},{"key":"22_CR4","unstructured":"S. Benferhat, D. Dubois, J. Lang, H. Prade, A. Saffioti, and P. Smets. A general approach for inconsistency handling and merging information in prioritized knowledge bases. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998), pages 466\u2013477."},{"key":"22_CR5","unstructured":"S. Benferhat, D. Dubois, and H. Prade. A computational model for belief change and fusing ordered belief bases. In Frontiers in Belief revision. Kluwer, 1999. To appear."},{"key":"22_CR6","unstructured":"M. Dalal. Investigations into a theory of knowledge base revision: preliminary report. In Proceedings of AAAI-88, pages 475\u2013479, 1988."},{"key":"22_CR7","unstructured":"P. G\u00e4rdenfors. Knowledge in ux. MIT Press, 1988."},{"issue":"3","key":"22_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Halpern","year":"1992","unstructured":"J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"H. Katsuno and A. O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"22_CR10","volume-title":"Series in economic theory and mathematical economics","author":"J. S. Kelly","year":"1978","unstructured":"J. S. Kelly. Arrow impossibility theorems. Series in economic theory and mathematical economics. Academic Press, New York, 1978."},{"key":"22_CR11","unstructured":"S. Konieczny and R. Pino P\u00e9rez. On the logic of merging. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998), pages 488\u2013498, 1998."},{"key":"22_CR12","unstructured":"S. Konieczny and R. Pino P\u00e9rez. Merging with integrity constraints. Technical Report 99-01, LIFL, 1999. \n                  http:\/\/www.li.fr\/GNOM\/articles\/it9901.ps\n                  \n                ."},{"key":"22_CR13","unstructured":"P. Liberatore and M. Schaerf. Arbitration: A commutative operator for belief revision. In Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, pages 217\u2013228, 1995."},{"issue":"1","key":"22_CR14","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/69.667090","volume":"10","author":"P. Liberatore","year":"1998","unstructured":"P. Liberatore and M. Schaerf. Arbitration (or how to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering, 10(1):76\u201390, 1998.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2","key":"22_CR15","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/0004-3702(95)00019-4","volume":"83","author":"J. Lin","year":"1996","unstructured":"J. Lin. Integration of weighted knowledge bases. Artificial Intelligence, 83(2):363\u2013378, 1996.","journal-title":"Artificial Intelligence"},{"key":"22_CR16","unstructured":"J. Lin and A. O. Mendelzon. Knowledge base merging by majority. Manuscript."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"H. Moulin. Axioms of cooperative decision making. Monograph of the Econometric Society. Cambridge University Press, 1988.","DOI":"10.1017\/CCOL0521360552"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"P. Z. Revesz. On the semantics of theory change: arbitration between old and new information. In Proceedings of the 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases, pages 71\u201392, 1993.","DOI":"10.1145\/153850.153857"},{"issue":"2","key":"22_CR19","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1142\/S0218196797000095","volume":"7","author":"P. Z. Revesz","year":"1997","unstructured":"P. Z. Revesz. On the semantics of arbitration. International Journal of Algebra and Computation, 7(2):133\u2013160, 1997.","journal-title":"International Journal of Algebra and Computation"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning and Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48747-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:50:28Z","timestamp":1558263028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48747-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661313","9783540487470"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48747-6_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"20 July 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}