{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T20:56:17Z","timestamp":1772830577101,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642333521","type":"print"},{"value":"9783642333538","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33353-8_29","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T10:18:53Z","timestamp":1346926733000},"page":"372-384","source":"Crossref","is-referenced-by-count":11,"title":["A Unifying Perspective on Knowledge Updates"],"prefix":"10.1007","author":[{"given":"Martin","family":"Slota","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"29_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. 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.\u00a050(2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"issue":"1","key":"29_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s11225-005-0492-y","volume":"79","author":"J.J. Alferes","year":"2005","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica\u00a079(1), 7\u201332 (2005)","journal-title":"Studia Logica"},{"issue":"1-3","key":"29_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. J. Log. Program.\u00a045(1-3), 43\u201370 (2000)","journal-title":"J. Log. Program."},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge Univ. Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Veloso, M.M., Kambhampati, S. (eds.) Procs. AAAI 2005, pp. 572\u2013577. AAAI\/MIT Press (2005)","DOI":"10.25368\/2010.145"},{"issue":"3","key":"29_CR6","first-page":"20","volume":"12","author":"J. Bruijn de","year":"2011","unstructured":"de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. ACM Trans. Comput.\u00a012(3), 20 (2011)","journal-title":"ACM Trans. Comput."},{"key":"29_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-17746-0_8","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"D. Calvanese","year":"2010","unstructured":"Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Evolution of DL-Lite Knowledge Bases. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 112\u2013128. Springer, Heidelberg (2010)"},{"key":"29_CR8","unstructured":"Creignou, N., Papini, O., Pichler, R., Woltran, S.: Belief revision within fragments of propositional logic. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Procs. KR 2012, pp. 126\u2013136. AAAI Press (2012)"},{"key":"29_CR9","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision. In: Procs. AAAI 1988, pp. 475\u2013479. AAAI\/MIT Press (1988)"},{"issue":"5","key":"29_CR10","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1093\/logcom\/exn051","volume":"19","author":"G. Giacomo De","year":"2009","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. Log. Comput.\u00a019(5), 745\u2013770 (2009)","journal-title":"J. Log. Comput."},{"key":"29_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-72200-7_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.P. Delgrande","year":"2007","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: A Preference-Based Framework for Updating Logic Programs. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 71\u201383. Springer, Heidelberg (2007)"},{"issue":"6","key":"29_CR12","first-page":"721","volume":"2","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. TPLP\u00a02(6), 721\u2013777 (2002)","journal-title":"TPLP"},{"key":"29_CR13","series-title":"Graduate texts in computer science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1996","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Graduate texts in computer science. Springer, Berlin (1996)","edition":"2"},{"issue":"2","key":"29_CR14","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1017\/S0269888908001367","volume":"23","author":"G. Flouris","year":"2008","unstructured":"Flouris, G., Makanatas, D., Kondylakis, H., Plexousakis, D., Antoniou, G.: Ontology change: classification and survey. Knowledge Eng. Review\u00a023(2), 117\u2013152 (2008)","journal-title":"Knowledge Eng. Review"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P.: Belief Revision: An Introduction. In: Belief Revision, pp. 1\u201328. Cambridge Univ. Press (1992)","DOI":"10.1017\/CBO9780511526664.001"},{"key":"29_CR16","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Procs. ICLP\/SLP 1988, pp. 1070\u20131080. MIT Press (1988)"},{"key":"29_CR17","unstructured":"Halaschek-Wiener, C., Katz, Y.: Belief base revision for expressive description Logics. In: Grau, B.C., Hitzler, P., Shankey, C., Wallace, E. (eds.) Procs. OWLED 2006. CEUR Workshop Proceedings, vol.\u00a0216 (2006), CEUR-WS.org"},{"issue":"6","key":"29_CR18","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"S.O. Hansson","year":"1993","unstructured":"Hansson, S.O.: Reversing the Levi identity. J. Philosophical Logic\u00a022(6), 637\u2013669 (1993)","journal-title":"J. Philosophical Logic"},{"issue":"1","key":"29_CR19","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.\u00a0115(1), 107\u2013138 (1999)","journal-title":"Artif. Intell."},{"key":"29_CR20","series-title":"International Handbooks on Information Systems","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-92673-3_5","volume-title":"Handbook on Ontologies","author":"P. Hitzler","year":"2009","unstructured":"Hitzler, P., Parsia, B.: Ontologies and rules. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, 2nd edn. International Handbooks on Information Systems, pp. 111\u2013132. Springer, Berlin (2009)","edition":"2"},{"key":"29_CR21","first-page":"387","volume-title":"Procs. KR 1991","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) Procs. KR 1991, April 22-25, pp. 387\u2013394. Morgan Kaufmann Publishers, Cambridge (1991)"},{"key":"29_CR22","unstructured":"Kr\u00fcmpelmann, P., Kern-Isberner, G.: On belief dynamics of dependency relations for extended logic programs. In: Procs. NMR 2010, Toronto, Canada (2010)"},{"key":"29_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BFb0054796","volume-title":"Logic Programming and Knowledge Representation","author":"J. Leite","year":"1998","unstructured":"Leite, J., Moniz Pereira, L.: Generalizing Updates: From Models to Programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471, pp. 224\u2013246. Springer, Heidelberg (1998)"},{"key":"29_CR24","unstructured":"Lenzerini, M., Savo, D.F.: On the evolution of the instance level of DL-Lite knowledge bases. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Procs. DL 2011. CEUR Workshop Proceedings, vol. 745 (2011), CEUR-WS.org"},{"key":"29_CR25","doi-asserted-by":"crossref","unstructured":"Liu, H., Lutz, C., Mili\u010di\u0107, M., Wolter, F.: Updating description logic ABoxes. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Procs. KR 2006, pp. 46\u201356. AAAI Press (2006)","DOI":"10.25368\/2022.153"},{"issue":"2","key":"29_CR26","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","volume":"190","author":"V.W. Marek","year":"1998","unstructured":"Marek, V.W., Truszczynski, M.: Revision programming. Theor. Comput. Sci.\u00a0190(2), 241\u2013277 (1998)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"29_CR27","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B. Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM\u00a057(5), 93\u2013154 (2010)","journal-title":"J. ACM"},{"key":"29_CR28","first-page":"95","volume-title":"Procs. ECAI 1996","author":"P. Peppas","year":"1996","unstructured":"Peppas, P., Nayak, A.C., Pagnucco, M., Foo, N.Y., Kwok, R.B.H., Prokopenko, M.: Revision vs. update: Taking a closer look. In: Wahlster, W. (ed.) Procs. ECAI 1996, pp. 95\u201399. John Wiley and Sons, Chichester (1996)"},{"key":"29_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-540-88737-9_7","volume-title":"Web Reasoning and Rule Systems","author":"G. Qi","year":"2008","unstructured":"Qi, G., Yang, F.: A Survey of Revision Approaches in Description Logics. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 74\u201388. Springer, Heidelberg (2008)"},{"key":"29_CR30","unstructured":"Ribeiro, M.M., Wassermann, R.: Base revision in description logics - preliminary results. Procs. IWOD 2007, 69\u201382 (2007)"},{"issue":"6","key":"29_CR31","first-page":"671","volume":"3","author":"C. Sakama","year":"2003","unstructured":"Sakama, C., Inoue, K.: An abductive framework for computing knowledge base updates. TPLP\u00a03(6), 671\u2013713 (2003)","journal-title":"TPLP"},{"key":"29_CR32","doi-asserted-by":"crossref","unstructured":"\u0160efr\u00e1nek, J.: Static and dynamic semantics: Preliminary report. In: MICAI, pp. 36\u201342 (2011)","DOI":"10.1109\/MICAI.2011.18"},{"key":"29_CR33","unstructured":"Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Procs. ECAI 2010. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 957\u2013962. IOS Press (2010)"},{"issue":"4-6","key":"29_CR34","first-page":"547","volume":"10","author":"M. Slota","year":"2010","unstructured":"Slota, M., Leite, J.: Towards Closed World Reasoning in Dynamic Open Worlds. TPLP Special Issue\u00a010(4-6), 547\u2013564 (2010)","journal-title":"TPLP Special Issue"},{"key":"29_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-20895-9_16","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Slota","year":"2011","unstructured":"Slota, M., Leite, J.: Back and Forth between Rules and SE-Models. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 174\u2013186. Springer, Heidelberg (2011)"},{"key":"29_CR36","unstructured":"Slota, M., Leite, J.: Robust equivalence models for semantic updates of answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Procs. KR 2012, pp. 158\u2013168. AAAI Press (2012)"},{"issue":"4-5","key":"29_CR37","first-page":"801","volume":"11","author":"M. Slota","year":"2011","unstructured":"Slota, M., Leite, J., Swift, T.: Splitting and updating hybrid knowledge bases. TPLP Special Issue\u00a011(4-5), 801\u2013819 (2011)","journal-title":"TPLP Special Issue"},{"issue":"4-5","key":"29_CR38","first-page":"609","volume":"3","author":"H. Turner","year":"2003","unstructured":"Turner, H.: Strong equivalence made easy: nested expressions and weight constraints. TPLP\u00a03(4-5), 609\u2013622 (2003)","journal-title":"TPLP"},{"key":"29_CR39","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663109","volume-title":"Updating Logical Databases","author":"M. Winslett","year":"1990","unstructured":"Winslett, M.: Updating Logical Databases. Cambridge Univ. Press, New York (1990)"},{"issue":"3","key":"29_CR40","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1145\/1149114.1149115","volume":"7","author":"Y. Zhang","year":"2006","unstructured":"Zhang, Y.: Logic program-based updates. ACM Trans. Comput. Log.\u00a07(3), 421\u2013472 (2006)","journal-title":"ACM Trans. Comput. Log."}],"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-642-33353-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T15:59:04Z","timestamp":1687708744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33353-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333521","9783642333538"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33353-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}