{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T14:49:34Z","timestamp":1744901374808},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,5,7]],"date-time":"2016-05-07T00:00:00Z","timestamp":1462579200000},"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":["J Philos Logic"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s10992-016-9401-2","type":"journal-article","created":{"date-parts":[[2016,5,7]],"date-time":"2016-05-07T15:19:42Z","timestamp":1462634382000},"page":"299-332","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Inter-Definability of Horn Contraction and Horn Revision"],"prefix":"10.1007","volume":"46","author":[{"given":"Zhiqiang","family":"Zhuang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Pagnucco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,7]]},"reference":[{"key":"9401_CR1","unstructured":"Adaricheva, K., Sloan, R.H., & Sz\u00f6r\u00e9nyi, B. (2012). Horn belief contraction: remainders, envelopes and complexity. In Proceedings of the 13th international conference on principles of knowledge representation and reasoning (KR-2012), pp. 107\u2013115."},{"issue":"2","key":"9401_CR2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. J Symb Log, 50(2), 510\u2013530.","journal-title":"J Symb Log"},{"key":"9401_CR3","unstructured":"Booth, R., Meyer, T., & Varzinczak, I.J. (2009). Next steps in propositional Horn contraction. In Proceedings of the 21st international joint conference on artificial intelligence (IJCAI-2009), pp. 702\u2013707."},{"key":"9401_CR4","unstructured":"Booth, R., Meyer, T., Varzinczak, I.J., & Wassermann, R. (2010). Horn belief change: a contraction core. In Proceedings of the 20th european conference on artificial intelligence (ECAI-2011), pp. 1065\u20131066."},{"key":"9401_CR5","first-page":"31","volume":"42","author":"R Booth","year":"2011","unstructured":"Booth, R., Meyer, T., Varzinczak, I.J., & Wassermann, R. (2011). On the link between partial meet, kernel, and infra contraction and its application to Horn logic. J Artif Intell Res, 42, 31\u201353.","journal-title":"J Artif Intell Res"},{"key":"9401_CR6","doi-asserted-by":"crossref","unstructured":"Boutilier, C. (1995). On the revision of probabilistic belief states. Notre Dame Journal of Formal Logic, 36.","DOI":"10.1305\/ndjfl\/1040308833"},{"key":"9401_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1996","unstructured":"Darwiche, A., & Pearl, J. (1996). On the logic of iterated belief revision. Artif Intell, 89, 1\u201329.","journal-title":"Artif Intell"},{"key":"9401_CR8","unstructured":"Delgrande, J.P. (2008). Horn clause belief change: Contraction functions. In Proceedings of the 11th international conference on principles of knowledge representation and reasoning (KR-2008), pp. 156\u2013165."},{"key":"9401_CR9","unstructured":"Delgrande, J.P., & Peppas, P. (2011). Revising Horn theories. In Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI-2011), pp. 839\u2013844."},{"key":"9401_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2014.08.006","volume":"218","author":"JP Delgrande","year":"2015","unstructured":"Delgrande, J.P., & Peppas, P. (2015). Belief revision in Horn theories. Artif Intell, 218, 1\u201322.","journal-title":"Artif Intell"},{"key":"9401_CR11","unstructured":"Delgrande, J.P., & Wassermann, R. (2010). Horn clause contraction function: Belief set and belief base approaches. In Proceedings of the 12th international conference on principles of knowledge representation and reasoning (KR-2010), pp. 143\u2013152."},{"key":"9401_CR12","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1613\/jair.4031","volume":"48","author":"JP Delgrande","year":"2013","unstructured":"Delgrande, J.P., & Wassermann, R. (2013). Horn clause contraction functions. J Artif Intell Res, 48, 475\u2013551.","journal-title":"J Artif Intell Res"},{"issue":"5","key":"9401_CR13","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1093\/logcom\/exm093","volume":"18","author":"E Ferm\u00e9","year":"2008","unstructured":"Ferm\u00e9, E., Krevneris, M., & Reis, M. (2008). An axiomatic characterization of ensconcement-based contraction. J Log Comput, 18(5), 739\u2013753.","journal-title":"J Log Comput"},{"issue":"1","key":"9401_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF01066356","volume":"3","author":"A Fuhrmann","year":"1994","unstructured":"Fuhrmann, A., & Hansson, S.O. (1994). A survey of multiple contractions. J Log Lang Inf, 3(1), 39\u201374.","journal-title":"J Log Lang Inf"},{"key":"9401_CR15","unstructured":"G\u00e4rdenfors, P. (1988). Knowledge in flux: Modelling the dynamics of epistemic states MIT press."},{"key":"9401_CR16","unstructured":"G\u00e4rdenfors, P., & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. In Proceedings of the 2nd conference on theoretical aspects of reasoning about knowledge (TARK-1988), pp. 83\u201395."},{"issue":"2","key":"9401_CR17","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A. (1988). Two modellings for theory change. J Philos Log, 17(2), 157\u2013170.","journal-title":"J Philos Log"},{"key":"9401_CR18","doi-asserted-by":"crossref","unstructured":"Hansson, S.O. (1999). A textbook of belief dynamics theory change and database updating kluwer.","DOI":"10.1007\/978-94-007-0814-3"},{"key":"9401_CR19","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/s11229-009-9688-4","volume":"173","author":"SO Hansson","year":"2010","unstructured":"Hansson, S.O. (2010). Multiple and iterated contraction reduced to single-step single-sentence contraction. Synthese, 173, 153\u2013177.","journal-title":"Synthese"},{"key":"9401_CR20","unstructured":"Harper, W. (1975). Rational concept change. In Proceedings of the meeting of the philosophy of science association, pp. 462\u2013494."},{"issue":"3","key":"9401_CR21","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1992","unstructured":"Katsuno, H., & Mendelzon, A.O. (1992). Propositional knowledge base revision and minimal change. Artif Intell, 52(3), 263\u2013294.","journal-title":"Artif Intell"},{"key":"9401_CR22","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"H Kautz","year":"1996","unstructured":"Kautz, H., & Selman, B. (1996). Knowledge compilation and theory approximation. J ACM, 43, 193\u2013224.","journal-title":"J ACM"},{"key":"9401_CR23","unstructured":"Langlois, M., Sloan, R.H., Sz\u00f6r\u00e9nyi, B., & Tur\u00e1n, G. (2008). Horn complements: Towards Horn-to-Horn belief revision. In Proceedings of the 23rd national conference on artificial intelligence (AAAI-2008), pp. 466\u2013471."},{"key":"9401_CR24","doi-asserted-by":"crossref","unstructured":"Levi, I. (1991). The Fixation of Beliefs and its Udoing Cambridge University Press.","DOI":"10.1017\/CBO9780511663819"},{"key":"9401_CR25","unstructured":"Lewis, D. (1973). Counterfactuals harvard university press."},{"issue":"2","key":"9401_CR26","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1023\/A:1008316802976","volume":"9","author":"T Meyer","year":"2000","unstructured":"Meyer, T., Labuschagne, W., & Heidema, J. (2000). Refined epistemic entrenchment. J Log Lang Inf, 9(2), 237\u2013259.","journal-title":"J Log Lang Inf"},{"key":"9401_CR27","unstructured":"Nayak, A., Goebel, R., & Orgun, M. (2007). Iterated belief contraction from the first pinciples. In Proc. IJCAI-2007, pp. 2568\u20132573."},{"key":"9401_CR28","doi-asserted-by":"crossref","unstructured":"Nayak, A., Goebel, R., Orgun, M., & Pham, T. (2006). Taking Levi identity seriously: A plea for iterated belief contraction. In 1St international conference on knowledge science, engineering and management (KSEM06), pp. 305\u2013317.","DOI":"10.1007\/11811220_26"},{"key":"9401_CR29","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/S0004-3702(03)00017-1","volume":"146","author":"AC Nayak","year":"2003","unstructured":"Nayak, A.C., Pagnucco, M., & Peppas, P. (2003). Dynamic belief revision operators. Artif Intell, 146, 193\u2013228.","journal-title":"Artif Intell"},{"key":"9401_CR30","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/j.artint.2013.06.001","volume":"201","author":"MM Ribeiro","year":"2013","unstructured":"Ribeiro, M.M., Wassermann, R., Flouris, G., & Antoniou, G. (2013). Minimal change: Relevance and recovery revisited. Artif Intell, 201, 59\u201380.","journal-title":"Artif Intell"},{"key":"9401_CR31","unstructured":"Rott, H. (2006). Shifting priorities: Simple represenations for twenty-seven iterated theory change operators. In H. lagerlund, S. Lindstrom, R. Sliwinski (eds.) Modality matters: Twenty-five eassys in honour of Krister Segerberg, pp. 359\u2013384. Uppsala University Press."},{"key":"9401_CR32","doi-asserted-by":"crossref","unstructured":"Zhuang, Z., & Pagnucco, M. (2010). Horn contraction via epistemic entrenchment. In Proceedings of the 12th european conference on logics in artificial intelligence (JELIA-2010), pp. 339\u2013351.","DOI":"10.1007\/978-3-642-15675-5_29"},{"key":"9401_CR33","doi-asserted-by":"crossref","unstructured":"Zhuang, Z., & Pagnucco, M. (2010). Two methods of constructing horn contractions. In Proceedings of the 23rd australasian joint conference on artificial intelligence (AI-2010).","DOI":"10.1007\/978-3-642-17432-2_8"},{"key":"9401_CR34","unstructured":"Zhuang, Z., & Pagnucco, M. (2011). Transitively relational partial meet horn contraction. In Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI-2011), pp. 1132\u20131138."},{"key":"9401_CR35","unstructured":"Zhuang, Z., & Pagnucco, M. (2012). Model based horn contraction. In Proceedings of the 13th international conference on principles of knowledge representation and reasoning (KR-2012), pp. 169\u2013178."},{"key":"9401_CR36","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1613\/jair.4430","volume":"51","author":"Z Zhuang","year":"2014","unstructured":"Zhuang, Z., & Pagnucco, M. (2014). Entrenchment-based Horn contraction. J Artif Intell Res, 51, 227\u2013254.","journal-title":"J Artif Intell Res"},{"key":"9401_CR37","unstructured":"Zhuang, Z., Pagnucco, M., & Zhang, Y. (2013). Definability of Horn revision from Horn contraction. In Proceedings of the 23rd international joint conference on artificial intelligence (IJCAI-2013), pp. 1205\u20131211."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-016-9401-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-016-9401-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-016-9401-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-016-9401-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,7]],"date-time":"2019-09-07T07:54:57Z","timestamp":1567842897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-016-9401-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,7]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9401"],"URL":"https:\/\/doi.org\/10.1007\/s10992-016-9401-2","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,7]]}}}