{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:22Z","timestamp":1740098962235,"version":"3.37.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675817"},{"type":"electronic","value":"9783319675824"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67582-4_24","type":"book-chapter","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T08:43:21Z","timestamp":1505292201000},"page":"334-347","source":"Crossref","is-referenced-by-count":1,"title":["A Semantic Characterization for ASP Base Revision"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Garcia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Lef\u00e8vre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"St\u00e9phan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"W\u00fcrbel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"issue":"4","key":"24_CR1","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/BF00370430","volume":"44","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., Makinson, D.: On the logic of theory change: safe contraction. Stud. Log. 44(4), 14\u201337 (1985)","journal-title":"Stud. Log."},{"issue":"1\u20133","key":"24_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"JJ 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. Prog. 45(1\u20133), 43\u201370 (2000)","journal-title":"J. Log. Prog."},{"key":"24_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/s10489-008-0135-x","volume":"32","author":"S Benferhat","year":"2010","unstructured":"Benferhat, S., Bennaim, J., Papini, O., W\u00fcrbel, E.: Answer set programming encoding of prioritized removed sets revision: application to GIS. Appl. Intell. 32, 60\u201387 (2010)","journal-title":"Appl. Intell."},{"unstructured":"Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proceedings of IJCAI 1993, pp. 640\u2013645 (1993)","key":"24_CR5"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-40564-8_27","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J Delgrande","year":"2013","unstructured":"Delgrande, J., Peppas, P., Woltran, S.: AGM-style belief revision of logic programs under answer set semantics. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 264\u2013276. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40564-8_27"},{"doi-asserted-by":"crossref","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: Belief revision of logic programs under answer set semantics. In: Proceedings of KR 2008, pp. 411\u2013421 (2008)","key":"24_CR7","DOI":"10.1007\/978-3-642-02846-5_17"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-02846-5_17","volume-title":"Logic Programming","author":"J Delgrande","year":"2009","unstructured":"Delgrande, J., Schaub, T., Tompits, H., Woltran, S.: Merging logic programs under answer set semantics. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 160\u2013174. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02846-5_17"},{"issue":"2","key":"24_CR9","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/2480759.2480766","volume":"14","author":"JP Delgrande","year":"2013","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: A model-theoretic approach to belief change in answer set programming. ACM Trans. Comput. Log. 14(2), 14:1\u201314:46 (2013)","journal-title":"ACM Trans. Comput. Log."},{"issue":"6","key":"24_CR10","first-page":"711","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 2(6), 711\u2013767 (2002)","journal-title":"TPLP"},{"key":"24_CR11","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Conflict-driven answer set solving: from theory to practice. Artif. Intell. 187, 52\u201389 (2012)","journal-title":"Artif. Intell."},{"unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP 1988, pp. 1070\u20131080 (1988)","key":"24_CR12"},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"SO Hansson","year":"1997","unstructured":"Hansson, S.O.: Semi-revision. J. Appl. Non-class. Log. 7, 151\u2013175 (1997)","journal-title":"J. Appl. Non-class. Log."},{"key":"24_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Text of Belief Dynamics: Theory Change and Database Updating","author":"SO Hansson","year":"1999","unstructured":"Hansson, S.O.: A Text of Belief Dynamics: Theory Change and Database Updating. Springer, Netherlands (1999)"},{"unstructured":"Hu\u00e9, J., Papini, O., W\u00fcrbel, E.: Removed sets fusion: performing off the shelf. In: Proceedings of ECAI 2008, pp. 94\u201398 (2008)","key":"24_CR15"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-02906-6_33","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"J Hu\u00e9","year":"2009","unstructured":"Hu\u00e9, J., Papini, O., W\u00fcrbel, E.: Merging belief bases represented by logic programs. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 371\u2013382. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02906-6_33"},{"unstructured":"Hu\u00e9, J., Papini, O., W\u00fcrbel, E.: Extending belief base change to logic programs with ASP. In: Trends in Belief Revision and Argumentation Dynamics. Studies in Logic, December 2013","key":"24_CR17"},{"issue":"3","key":"24_CR18","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":"24_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-33353-8_23","volume-title":"Logics in Artificial Intelligence","author":"P Kr\u00fcmpelmann","year":"2012","unstructured":"Kr\u00fcmpelmann, P., Kern-Isberner, G.: Belief base change operations for answer set programming. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 294\u2013306. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33353-8_23"},{"unstructured":"Lehmann, D.: Belief revision, revised. In: Proceedings of IJCAI 1995, pp. 1534\u20131540 (1995)","key":"24_CR20"},{"issue":"3","key":"24_CR21","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3\u20134","key":"24_CR22","first-page":"241","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. AMAI 25(3\u20134), 241\u2013273 (1999)","journal-title":"AMAI"},{"unstructured":"Papini, O.: A complete revision function in propositional calculus. In: Neumann, B. (ed.) Proceedings of ECAI 1992, pp. 339\u2013343. Wiley (1992)","key":"24_CR23"},{"issue":"1\u20132","key":"24_CR24","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"24_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-46767-X_11","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Sakama","year":"1999","unstructured":"Sakama, C., Inoue, K.: Updating extended logic programs through abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS, vol. 1730, pp. 147\u2013161. Springer, Heidelberg (1999). doi: 10.1007\/3-540-46767-X_11"},{"doi-asserted-by":"crossref","unstructured":"Schaub, T.: Here\u2019s the beef: answer set programming!. In: Proceedings of ICLP 2008, pp. 93\u201398 (2008)","key":"24_CR26","DOI":"10.1007\/978-3-540-89982-2_16"},{"unstructured":"Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Proceedings of ECAI 2010, pp. 957\u2013962 (2010)","key":"24_CR27"},{"issue":"6","key":"24_CR28","first-page":"869","volume":"14","author":"M Slota","year":"2014","unstructured":"Slota, M., Leite, J.: The rise and fall of semantic rule updates based on se-models. TPLP 14(6), 869\u2013907 (2014)","journal-title":"TPLP"},{"key":"24_CR29","first-page":"609","volume":"3","author":"H Turner","year":"2003","unstructured":"Turner, H.: Strong equivalence made easy: nested expressions and weight constraints. TPLP 3, 609\u2013622 (2003)","journal-title":"TPLP"},{"unstructured":"W\u00fcrbel, E., Jeansoulin, R., Papini, O.: Revision: an application in the framework of GIS. In: Proceedings of KR 2000, pp. 505\u2013518 (2000)","key":"24_CR30"},{"unstructured":"Zhang, Y., Foo, N.Y.: Updating logic programs. In: Proceedings of ECAI 1998, pp. 403\u2013407 (1998)","key":"24_CR31"},{"unstructured":"Zhuang, Z., Delgrande, J.P., Nayak, A.C., Sattar, A.: A new approach for revising logic programs. In: Proceedings of NMR 2016, pp. 171\u2013176 (2016)","key":"24_CR32"},{"unstructured":"Zhuang, Z., Delgrande, J.P., Nayak, A.C., Sattar, A.: Reconsidering AGM-style belief revision in the context of logic programs. In: Proceedings of ECAI 2016, pp. 671\u2013679 (2016)","key":"24_CR33"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67582-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T19:46:59Z","timestamp":1659469619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67582-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675817","9783319675824"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67582-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}