{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:22:33Z","timestamp":1760170953409,"version":"3.41.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2016,4,11]],"date-time":"2016-04-11T00:00:00Z","timestamp":1460332800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian Science Fund","award":["P25518 and P25521"],"award-info":[{"award-number":["P25518 and P25521"]}]},{"name":"Australian Research Council's Discovery Projects","award":["DP150101134"],"award-info":[{"award-number":["DP150101134"]}]},{"name":"Agence Nationale de la Recherche, ASPIQ","award":["ANR-12-BS02-0003"],"award-info":[{"award-number":["ANR-12-BS02-0003"]}]},{"name":"PHC Amadeus","award":["29144UC (OeAD FR 12\/2013)"],"award-info":[{"award-number":["29144UC (OeAD FR 12\/2013)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2016,7,22]]},"abstract":"<jats:p>Recently, belief change within the framework of fragments of propositional logic has gained increasing attention. Previous research focused on belief contraction and belief revision on the Horn fragment. However, the problem of belief merging within fragments of propositional logic has been mostly neglected so far. We present a general approach to defining new merging operators derived from existing ones such that the result of merging remains in the fragment under consideration. Our approach is not limited to the case of Horn fragment; it is applicable to any fragment of propositional logic characterized by a closure property on the sets of models of its formul\u00e6. We study the logical properties of the proposed operators regarding satisfaction of merging postulates, considering, in particular, distance-based merging operators for Horn and Krom fragments.<\/jats:p>","DOI":"10.1145\/2898436","type":"journal-article","created":{"date-parts":[[2016,4,11]],"date-time":"2016-04-11T18:01:37Z","timestamp":1460397697000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Belief Merging within Fragments of Propositional Logic"],"prefix":"10.1145","volume":"17","author":[{"given":"Nadia","family":"Creignou","sequence":"first","affiliation":[{"name":"Aix Marseille Universit\u00e9, CNRS, France"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[{"name":"Aix Marseille Universit\u00e9, CNRS, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8679-6913","authenticated-orcid":false,"given":"Stefan","family":"R\u00fcmmele","sequence":"additional","affiliation":[{"name":"TU Wien, Austria and University of Sydney, NSW, Australia"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[{"name":"TU Wien, Wien, Austria"}]}],"member":"320","published-online":{"date-parts":[[2016,4,11]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.2307\/2274239"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_1","DOI":"10.1109\/69.88001"},{"doi-asserted-by":"publisher","key":"e_1_2_1_3_1","DOI":"10.1002\/int.1052"},{"volume-title":"Proceedings of IJCAI'09","author":"Booth R.","unstructured":"R. Booth , T. A. Meyer , and I. J. Varzinczak . 2009. Next steps in propositional Horn contraction . In Proceedings of IJCAI'09 . 702--707. R. Booth, T. A. Meyer, and I. J. Varzinczak. 2009. Next steps in propositional Horn contraction. In Proceedings of IJCAI'09. 702--707.","key":"e_1_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.5555\/2208436.2208438"},{"key":"e_1_2_1_6_1","first-page":"233","article-title":"Reasoning about merging information","volume":"3","author":"Cholvy L.","year":"1998","unstructured":"L. Cholvy . 1998 . Reasoning about merging information . Handbook of DRUMS 3 , 233 -- 263 . L. Cholvy. 1998. Reasoning about merging information. Handbook of DRUMS 3, 233--263.","journal-title":"Handbook of DRUMS"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.1016\/j.jcss.2013.08.002"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of ECAI 2014 (Frontiers in Artificial Intelligence and Applications)","volume":"263","author":"Creignou N.","unstructured":"N. Creignou , O. Papini , S. R\u00fcmmele , and S. Woltran . 2014b. Belief merging within fragments of propositional logic . In Proceedings of ECAI 2014 (Frontiers in Artificial Intelligence and Applications) , Vol. 263 . IOS Press, 231--236. N. Creignou, O. Papini, S. R\u00fcmmele, and S. Woltran. 2014b. Belief merging within fragments of propositional logic. In Proceedings of ECAI 2014 (Frontiers in Artificial Intelligence and Applications), Vol. 263. IOS Press, 231--236."},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1016\/j.artint.2014.08.006"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1145\/2480759.2480766"},{"doi-asserted-by":"publisher","key":"e_1_2_1_11_1","DOI":"10.5555\/2591248.2591259"},{"volume-title":"Proceedings of IJCAI\u201915","author":"Haret A.","unstructured":"A. Haret , S. R\u00fcmmele , and S. Woltran . 2015. Merging in the Horn fragment . In Proceedings of IJCAI\u201915 . AAAI Press, 3041--3047. A. Haret, S. R\u00fcmmele, and S. Woltran. 2015. Merging in the Horn fragment. In Proceedings of IJCAI\u201915. AAAI Press, 3041--3047.","key":"e_1_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_13_1","DOI":"10.1016\/0004-3702(91)90069-V"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1016\/j.artint.2004.04.008"},{"doi-asserted-by":"publisher","key":"e_1_2_1_15_1","DOI":"10.1093\/logcom\/12.5.773"},{"doi-asserted-by":"publisher","key":"e_1_2_1_16_1","DOI":"10.1007\/s10992-011-9175-5"},{"volume-title":"Proceedings of AAAI\u201908","author":"Langlois M.","unstructured":"M. Langlois , R. H. Sloan , B. Sz\u00f6r\u00e9nyi , and G. Tur\u00e1n . 2008. Horn complements: Towards Horn-to-Horn belief revision . In Proceedings of AAAI\u201908 . AAAI Press, 466--471. M. Langlois, R. H. Sloan, B. Sz\u00f6r\u00e9nyi, and G. Tur\u00e1n. 2008. Horn complements: Towards Horn-to-Horn belief revision. In Proceedings of AAAI\u201908. AAAI Press, 466--471.","key":"e_1_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_18_1","DOI":"10.1016\/0004-3702(95)00019-4"},{"doi-asserted-by":"publisher","key":"e_1_2_1_19_1","DOI":"10.1142\/S0218843098000040"},{"doi-asserted-by":"publisher","key":"e_1_2_1_20_1","DOI":"10.1145\/153850.153857"},{"doi-asserted-by":"publisher","key":"e_1_2_1_21_1","DOI":"10.1142\/S0218196797000095"},{"doi-asserted-by":"publisher","key":"e_1_2_1_22_1","DOI":"10.1145\/800133.804350"},{"doi-asserted-by":"publisher","key":"e_1_2_1_23_1","DOI":"10.1093\/logcom\/exr040"},{"doi-asserted-by":"publisher","key":"e_1_2_1_24_1","DOI":"10.5555\/2750423.2750429"},{"volume-title":"Proceedings of IJCAI\u201913","author":"Zhuang Z. Q.","unstructured":"Z. Q. Zhuang , M. Pagnucco , and Y. Zhang . 2013. Definability of Horn revision from Horn contraction . In Proceedings of IJCAI\u201913 . IJCAI\/AAAI, 1205--1211. Z. Q. Zhuang, M. Pagnucco, and Y. Zhang. 2013. Definability of Horn revision from Horn contraction. In Proceedings of IJCAI\u201913. IJCAI\/AAAI, 1205--1211.","key":"e_1_2_1_25_1"},{"volume-title":"Proceedings of IJCAI\u201915","author":"Zhuang Z. Q.","unstructured":"Z. Q. Zhuang , Z. Wang , K. Wang , and J. P. Delgrande . 2015. Extending AGM contraction to arbitrary logics . In Proceedings of IJCAI\u201915 . AAAI Press, 3299--3307. Z. Q. Zhuang, Z. Wang, K. Wang, and J. P. Delgrande. 2015. Extending AGM contraction to arbitrary logics. In Proceedings of IJCAI\u201915. AAAI Press, 3299--3307.","key":"e_1_2_1_26_1"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2898436","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2898436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:56:30Z","timestamp":1750222590000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2898436"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,11]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7,22]]}},"alternative-id":["10.1145\/2898436"],"URL":"https:\/\/doi.org\/10.1145\/2898436","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2016,4,11]]},"assertion":[{"value":"2015-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}