{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:09:56Z","timestamp":1725869396448},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319487571"},{"type":"electronic","value":"9783319487588"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48758-8_32","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T09:24:55Z","timestamp":1477905895000},"page":"497-511","source":"Crossref","is-referenced-by-count":0,"title":["Characterizability in Horn Belief Revision"],"prefix":"10.1007","author":[{"given":"Jon","family":"Yaggie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gy\u00f6rgy","family":"Tur\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"key":"32_CR1","unstructured":"Adaricheva, K., Sloan, R.H., Sz\u00f6r\u00e9nyi, B., Tur\u00e1n, G.: Horn belief contraction: remainders, envelopes and complexity. In: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), May 2012"},{"issue":"1","key":"32_CR2","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2274958","volume":"55","author":"M Ajtai","year":"1990","unstructured":"Ajtai, M., Fagin, R.: Reachability is harder for directed than for undirected finite graphs. J. Symbolic Logic 55(1), 113\u2013150 (1990)","journal-title":"J. Symbolic Logic"},{"issue":"2","key":"32_CR3","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.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50(2), 510\u2013530 (1985)","journal-title":"J. Symbolic Logic"},{"key":"32_CR4","unstructured":"Ben-Naim, J.: Lack of finite characterizations for the distance-based revision. In: 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 239\u2013248 (2006)"},{"key":"32_CR5","unstructured":"Booth, R., Meyer, T., Varzinczak, I., Wassermann, R.: A contraction core for Horn belief change: preliminary report. In: 13th International Workshop on Non-monotonic Reasoning (NMR) (2010)"},{"key":"32_CR6","unstructured":"Booth, R., Meyer, T.A., Varzinczak, I.J.: Next steps in propositional Horn contraction. In: IJCAI, pp. 702\u2013707 (2009)"},{"key":"32_CR7","unstructured":"Delgrande, J.: Horn clause belief change: contraction functions. In: 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-2008), pp. 156\u2013165. AAAI Press (2008)"},{"key":"32_CR8","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.: Belief revision in Horn theories. Artif. Intell. 218, 1\u201322 (2015)","journal-title":"Artif. Intell."},{"key":"32_CR9","unstructured":"Delgrande, J.P., Wassermann, R.: Horn clause contraction functions: belief set and belief base approaches. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010) (2010)"},{"key":"32_CR10","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.: Horn clause contraction functions. J. Artif. Intell. Res. (JAIR) 48, 475\u2013511 (2013)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"32_CR11","series-title":"Springer Monographs in Mathematics","volume-title":"Finite Model Theory","author":"HD Ebbinghaus","year":"2006","unstructured":"Ebbinghaus, H.D., Flum, J.: Finite Model Theory. Springer Monographs in Mathematics. Springer, Berlin (2006)"},{"key":"32_CR12","unstructured":"Fotinopoulos, A.M., Papadopoulos, V.: Semantics for Horn contraction. In: Proceedings of the 7th Panhellenic Logic Symposium, pp. 42\u201347. Patras University Press (2009)"},{"key":"32_CR13","series-title":"Applied Logic Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics","author":"SO Hansson","year":"1999","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics. Applied Logic Series. Springer, Netherlands (1999)"},{"key":"32_CR14","unstructured":"Haret, A., R\u00fcmmele, S., Woltran, S.: Merging in the Horn fragment. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25\u201331, 2015, pp. 3041\u20133047 (2015)"},{"key":"32_CR15","doi-asserted-by":"crossref","first-page":"14","DOI":"10.2307\/2268661","volume":"16","author":"A Horn","year":"1951","unstructured":"Horn, A.: On sentences which are true on direct unions of algebras. J. Symbolic Logic 16, 14\u201321 (1951)","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"32_CR16","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263\u2013294 (1991)","journal-title":"Artif. Intell."},{"key":"32_CR17","unstructured":"Langlois, M., Sloan, R.H., Sz\u00f6r\u00e9nyi, B., Tur\u00e1n, G.: Horn complements: towards horn-to-horn belief revision. In: AAAI National Conference on Artificial Intelligence (AAAI-2008) (2008)"},{"issue":"1","key":"32_CR18","doi-asserted-by":"crossref","first-page":"295","DOI":"10.2307\/2694923","volume":"66","author":"DJ Lehmann","year":"2001","unstructured":"Lehmann, D.J., Magidor, M., Schlechta, K.: Distance semantics for belief revision. J. Symbolic Logic 66(1), 295\u2013317 (2001)","journal-title":"J. Symbolic Logic"},{"key":"32_CR19","series-title":"Texts in Theoretical Computer Science: An EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"L Libkin","year":"2004","unstructured":"Libkin, L.: Elements of Finite Model Theory. Texts in Theoretical Computer Science: An EATCS Series. Springer, Berlin (2004)"},{"key":"32_CR20","doi-asserted-by":"crossref","first-page":"61","DOI":"10.2307\/2268172","volume":"8","author":"JCC McKinsey","year":"1943","unstructured":"McKinsey, J.C.C.: The decision problem for some classes without quantifiers. J. Symbolic Logic 8, 61\u201376 (1943)","journal-title":"J. Symbolic Logic"},{"key":"32_CR21","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1016\/j.artint.2016.01.001","volume":"233","author":"MDL Reis","year":"2016","unstructured":"Reis, M.D.L., Ferm\u00e9, E., Peppas, P.: Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result. Artif. Intell. 233, 122\u2013141 (2016)","journal-title":"Artif. Intell."},{"key":"32_CR22","series-title":"Studies in Logic and Practical Reasoning","volume-title":"Coherent Systems","author":"K Schlechta","year":"2004","unstructured":"Schlechta, K.: Coherent Systems. Studies in Logic and Practical Reasoning. Elsevier Science, Amsterdam (2004)"},{"key":"32_CR23","unstructured":"Tur\u00e1n, G., Yaggie, J.: Characterizability in belief revision. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25\u201331, 2015, pp. 3236\u20133242 (2015)"},{"key":"32_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-642-15675-5_29","volume-title":"Logics in Artificial Intelligence","author":"ZQ Zhuang","year":"2010","unstructured":"Zhuang, Z.Q., Pagnucco, M.: Horn contraction via epistemic entrenchment. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 339\u2013351. Springer, Heidelberg (2010)"},{"key":"32_CR25","unstructured":"Zhuang, Z.Q., Pagnucco, M.: Transitively relational partial meet Horn contraction. In: IJCAI, pp. 1132\u20131138 (2011)"},{"key":"32_CR26","doi-asserted-by":"publisher","unstructured":"Zhuang, Z., Pagnucco, M., Zhang, Y.: Inter-definability of Horn contraction and Horn revision. J. Philos. Logic (2016). doi: 10.1007\/s10992-016-9401-2","DOI":"10.1007\/s10992-016-9401-2"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48758-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T01:04:12Z","timestamp":1568509452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48758-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319487571","9783319487588"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48758-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}