{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:13Z","timestamp":1750308613935,"version":"3.41.0"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2017,1,31]],"date-time":"2017-01-31T00:00:00Z","timestamp":1485820800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FWF project","award":["W1255-N23"],"award-info":[{"award-number":["W1255-N23"]}]},{"name":"Austrian Science Fund","award":["P25518 and P25521"],"award-info":[{"award-number":["P25518 and P25521"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2017,1,31]]},"abstract":"<jats:p>Belief merging is a central operation within the field of belief change and addresses the problem of combining multiple, possibly mutually inconsistent knowledge bases into a single, consistent one. A current research trend in belief change is concerned with representation theorems tailored to fragments of logic, in particular Horn logic. Hereby, the goal is to guarantee that the result of the change operations stays within the fragment under consideration. While several such results have been obtained for Horn revision and Horn contraction, merging of Horn theories has been neglected so far. In this article, we provide a novel representation theorem for Horn merging by strengthening the standard merging postulates. Moreover, we present concrete Horn merging operators satisfying all postulates.<\/jats:p>","DOI":"10.1145\/3043700","type":"journal-article","created":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T12:29:43Z","timestamp":1490012983000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Merging in the Horn Fragment"],"prefix":"10.1145","volume":"18","author":[{"given":"Adrian","family":"Haret","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8679-6913","authenticated-orcid":false,"given":"Stefan","family":"R\u00fcmmele","sequence":"additional","affiliation":[{"name":"University of Sydney, NSW, Australia"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2017,3,16]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.88001"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/int.1052"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2208436.2208438"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.08.002"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2898436"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.08.006"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40564-8_27"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591248.2591259"},{"key":"e_1_2_1_10_1","volume-title":"Proc. ECAI","author":"Haret Adrian","year":"2016","unstructured":"Adrian Haret , Andreas Pfandler , and Stefan Woltran . 2016 . Beyond IC postulates: Classification criteria for merging operators . In Proc. ECAI 2016. 372--380. Adrian Haret, Andreas Pfandler, and Stefan Woltran. 2016. Beyond IC postulates: Classification criteria for merging operators. In Proc. ECAI 2016. 372--380."},{"key":"e_1_2_1_11_1","volume-title":"Proc. IJCAI","author":"Haret Adrian","year":"2015","unstructured":"Adrian Haret , Stefan R\u00fcmmele , and Stefan Woltran . 2015 . Merging in the Horn fragment . In Proc. IJCAI 2015. AAAI Press, 3041--3047. Adrian Haret, Stefan R\u00fcmmele, and Stefan Woltran. 2015. Merging in the Horn fragment. In Proc. IJCAI 2015. AAAI Press, 3041--3047."},{"key":"e_1_2_1_12_1","volume-title":"Mendelzon","author":"Katsuno Hirofumi","year":"1991","unstructured":"Hirofumi Katsuno and Alberto O . Mendelzon . 1991 . On the difference between updating a knowledge base and revising it. In Proc. KR 1991. Morgan Kaufmann , 387--394. Hirofumi Katsuno and Alberto O. Mendelzon. 1991. On the difference between updating a knowledge base and revising it. In Proc. KR 1991. Morgan Kaufmann, 387--394."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90069-V"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.5.773"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9175-5"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00019-4"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/153850.153857"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196797000095"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/800133.804350"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000101"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exr040"},{"key":"e_1_2_1_22_1","volume-title":"Proc. IJCAI","author":"Zhuang Zhiqiang","year":"2015","unstructured":"Zhiqiang Zhuang , Zhe Wang , Kewen Wang , and James P. Delgrande . 2015. Extending AGM contraction to arbitrary logics . In Proc. IJCAI 2015 . AAAI Press, 3299--3307. Zhiqiang Zhuang, Zhe Wang, Kewen Wang, and James P. Delgrande. 2015. Extending AGM contraction to arbitrary logics. In Proc. IJCAI 2015. AAAI Press, 3299--3307."},{"key":"e_1_2_1_23_1","volume-title":"Proc. KR","author":"Zhuang Zhi Qiang","year":"2012","unstructured":"Zhi Qiang Zhuang and Maurice Pagnucco . 2012. Model based Horn contraction . In Proc. KR 2012 . AAAI Press , 169--178. Zhi Qiang Zhuang and Maurice Pagnucco. 2012. Model based Horn contraction. In Proc. KR 2012. AAAI Press, 169--178."},{"key":"e_1_2_1_24_1","volume-title":"Proc. IJCAI","author":"Zhuang Zhi Qiang","year":"2013","unstructured":"Zhi Qiang Zhuang , Maurice Pagnucco , and Yan Zhang . 2013 . Definability of Horn revision from Horn contraction . In Proc. IJCAI 2013. AAAI Press, 1205--1211. Zhi Qiang Zhuang, Maurice Pagnucco, and Yan Zhang. 2013. Definability of Horn revision from Horn contraction. In Proc. IJCAI 2013. AAAI Press, 1205--1211."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3043700","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3043700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:27Z","timestamp":1750273647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3043700"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,31]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1,31]]}},"alternative-id":["10.1145\/3043700"],"URL":"https:\/\/doi.org\/10.1145\/3043700","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2017,1,31]]},"assertion":[{"value":"2016-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}