{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:03:42Z","timestamp":1748577822395,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319208060"},{"type":"electronic","value":"9783319208077"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","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":[[2015]]},"DOI":"10.1007\/978-3-319-20807-7_15","type":"book-chapter","created":{"date-parts":[[2015,7,11]],"date-time":"2015-07-11T08:12:50Z","timestamp":1436602370000},"page":"165-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Belief Update Within Propositional Fragments"],"prefix":"10.1007","author":[{"given":"Nadia","family":"Creignou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ra\u00efda","family":"Ktari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,12]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","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. Symb. Log. 50, 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"key":"15_CR2","first-page":"31","volume":"42","author":"R Booth","year":"2011","unstructured":"Booth, R., Meyer, T.A., Varzinczak, I.J., Wassermann, R.: On the link between partial meet, kernel, and infra contraction and its application to Horn logic. J. Artif. Intell. Res. (JAIR) 42, 31\u201353 (2011)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"1\u20132","key":"15_CR3","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(97)00066-0","volume":"98","author":"C Boutilier","year":"1998","unstructured":"Boutilier, C.: A unified model of qualitative belief change: a dynamical systems perspective. Artif. Intell. 98(1\u20132), 281\u2013316 (1998)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"15_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(00)00010-2","volume":"119","author":"M Cadoli","year":"2000","unstructured":"Cadoli, M., Scarcello, F.: Semantical and computational aspects of Horn approximations. Artif. Intell. 119(1\u20132), 1\u201317 (2000)","journal-title":"Artif. Intell."},{"issue":"2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/j.jcss.2013.08.002","volume":"80","author":"N Creignou","year":"2014","unstructured":"Creignou, N., Papini, O., Pichler, R., Woltran, S.: Belief revision within fragments of propositional logic. J. Comput. Syst. Sci. 80(2), 427\u2013449 (2014)","journal-title":"J. Comput. Syst. Sci."},{"key":"15_CR6","unstructured":"Dalal, M.: Investigations into theory of knowledge base revision. In: Proceedings of AAAI, St. Paul, Minnesota, pp 449\u2013479 (1988)"},{"issue":"5","key":"15_CR7","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1093\/logcom\/4.5.797","volume":"4","author":"A del Val","year":"1994","unstructured":"del Val, A., Shoham, Y.: A unified view of belief revision and update. J. Log. Comput. 4(5), 797\u2013810 (1994)","journal-title":"J. Log. Comput."},{"key":"15_CR8","unstructured":"Delgrande, J.P., Jin, Y., Pelletier, F.J.: Compositional belief update. CoRR, abs\/1401.3431 (2014)"},{"key":"15_CR9","doi-asserted-by":"publisher","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":"15_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)"},{"issue":"1\u20132","key":"15_CR11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.3233\/FUN-2000-441-205","volume":"44","author":"P Doherty","year":"2000","unstructured":"Doherty, P., Lukaszewicz, W., Madalinska-Bugaj, E.: The pma and relativizing minimal change for action update. Fundam. Inform. 44(1\u20132), 95\u2013131 (2000)","journal-title":"Fundam. Inform."},{"key":"15_CR12","unstructured":"Dubois, D., Prade, H.: Belief revision and updates in numerical formalisms: an overview, with new results for the possibilistic framework. In: Proceedings of IJCAI, pp. 620\u2013625 (1993)"},{"issue":"2\u20133","key":"15_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell. 57(2\u20133), 227\u2013270 (1992)","journal-title":"Artif. Intell."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Fagin, R., Ullman, J.D., Vardi, M.Y.: On the semantics of updates in databases. In: The second ACM SIGACT SIGMOD, pp. 352\u2013365 (1983)","DOI":"10.1145\/588058.588100"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Forbus, K.D.: Introducing actions into qualitative simulation. In: Proceedings of IJCAI, pp. 1273\u20131278 (1989)","DOI":"10.21236\/ADA466199"},{"key":"15_CR16","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1613\/jair.506","volume":"10","author":"N Friedman","year":"1999","unstructured":"Friedman, N., Halpern, J.Y.: Modeling belief in dynamic systems, part II: revision and update. J. Artif. Intell. Res. (JAIR) 10, 117\u2013167 (1999)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"15_CR17","unstructured":"Haret, A.: Merging in the Horn fragment. Master\u2019s thesis, TU Wien (2014)"},{"issue":"1","key":"15_CR18","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0004-3702(99)00072-7","volume":"115","author":"A Herzig","year":"1999","unstructured":"Herzig, A., Rifi, O.: Propositional belief base update and minimal change. Artif. Intell. 115(1), 107\u2013138 (1999)","journal-title":"Artif. Intell."},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"14","DOI":"10.2307\/2268661","volume":"16","author":"A Horn","year":"1951","unstructured":"Horn, A.: On sentences which are true of direct unions of algebras. J. Symb. Log. 16, 14\u201321 (1951)","journal-title":"J. Symb. Log."},{"issue":"3","key":"15_CR20","doi-asserted-by":"publisher","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":"15_CR21","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1017\/CBO9780511526664.007","volume-title":"Belief Revision","author":"H Katsuno","year":"1992","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: G\u00e4rdenfors, P. (ed.) Belief Revision, pp. 183\u2013203. Cambridge University Press, Cambridge (1992)"},{"issue":"7","key":"15_CR22","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.1985.232506","volume":"11","author":"AM Keller","year":"1985","unstructured":"Keller, A.M., Winslett, M.: On the use of an extended relational model to handle changing incomplete information. IEEE Trans. Softw. Eng. 11(7), 620\u2013633 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR23","unstructured":"Lang, J.: Belief update revisited. In: Proceedings of IJCAI, pp. 2517\u20132522 (2007)"},{"issue":"1","key":"15_CR24","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1006\/jcss.2000.1698","volume":"62","author":"P Liberatore","year":"2001","unstructured":"Liberatore, P., Schaerf, M.: Belief revision and update: complexity of model checking. J. Comput. Syst. Sci. 62(1), 43\u201372 (2001)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"15_CR25","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1093\/logcom\/exr040","volume":"23","author":"F Van De Putte","year":"2013","unstructured":"Van De Putte, F.: Prime implicates and relevant belief revision. J. Log. Comput. 23(1), 109\u2013119 (2013)","journal-title":"J. Log. Comput."},{"key":"15_CR26","unstructured":"Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: Proceedings of FGCS, Tokyo, pp. 455\u2013462 (1988)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Schaefer, T.J.: The complexity of satisfiability problems. In: Proceedings of STOC, pp. 216\u2013226 (1978)","DOI":"10.1145\/800133.804350"},{"key":"15_CR28","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. In: Proceedings of AAAI, pp. 89\u201393 (1988)"},{"issue":"1","key":"15_CR29","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1111\/0824-7935.00104","volume":"16","author":"Y Zhang","year":"2000","unstructured":"Zhang, Y., Foo, N.Y.: Updates with disjunctive information: from syntactical and semantical perspectives. Comput. Intell. 16(1), 29\u201352 (2000)","journal-title":"Comput. Intell."},{"key":"15_CR30","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1613\/jair.4430","volume":"51","author":"ZQ Zhuang","year":"2014","unstructured":"Zhuang, Z.Q., Pagnucco, M.: Entrenchment-based Horn contraction. J. Artif. Intell. Res. (JAIR) 51, 227\u2013254 (2014)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"15_CR31","unstructured":"Zhuang, Z.Q., Pagnucco, M., Zhang, Y.: Definability of Horn revision from Horn contraction. In: Proceedings of IJCAI (2013)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20807-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T04:01:46Z","timestamp":1748491306000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20807-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319208060","9783319208077"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20807-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}