{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:03Z","timestamp":1725748503529},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_54","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"543-555","source":"Crossref","is-referenced-by-count":6,"title":["Belief Change in Nonmonotonic Multi-Context Systems"],"prefix":"10.1007","author":[{"given":"Yisong","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiang","family":"Zhuang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kewen","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"54_CR1","first-page":"510","volume":"50","author":"C.E. Alchourr\u00f6n","year":"1985","unstructured":"Alchourr\u00f6n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. JSL\u00a050(2), 510\u2013530 (1985)","journal-title":"JSL"},{"issue":"1","key":"54_CR2","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. JLP\u00a045(1), 43\u201370 (2000)","journal-title":"JLP"},{"key":"54_CR3","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI 2007, Vancouver, Canada, pp. 385\u2013390. AAAI Press (2007)"},{"key":"54_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-20832-4_16","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: A flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol.\u00a06565, pp. 233\u2013258. Springer, Heidelberg (2011)"},{"key":"54_CR5","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI 2011, Barcelona, Spain, pp. 786\u2013791. IJCAI\/AAAI (2011)"},{"issue":"12","key":"54_CR6","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Communications of the ACM\u00a054(12), 92\u2013103 (2011)","journal-title":"Communications of the ACM"},{"key":"54_CR7","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision. In: AAAI 1988, St. Paul, MN, pp. 475\u2013479. AAAI Press\/The MIT Press (1988)"},{"key":"54_CR8","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed nonmonotonic multi-context systems. In: KR 2010, Toronto, pp. 60\u201370. AAAI Press (2010)"},{"key":"54_CR9","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":"2","key":"54_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2480759.2480766","volume":"14","author":"J.P. Delgrande","year":"2012","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: A model-theoretic approach to belief change in answer set programming. TOCL 14(2), A:1\u2013A:42 (2012)","journal-title":"TOCL"},{"key":"54_CR11","unstructured":"Dragoni, A.F., Giorgini, P.: Toward a revision for multi-context systems. In: Workshop on Logics for Agent-Based Systems, LABS 2002, Tolose, France (2002)"},{"key":"54_CR12","doi-asserted-by":"crossref","unstructured":"Dragoni, A.F., Giorgini, P.: Distributed belief revision. In: AAMAS 2003, vol.\u00a06(2), pp. 115\u2013143 (2003)","DOI":"10.1023\/A:1021833301185"},{"key":"54_CR13","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\u00a02, 711\u2013767 (2002)","journal-title":"TPLP"},{"issue":"2","key":"54_CR14","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s10992-011-9171-9","volume":"40","author":"E.L. Ferm\u00e9","year":"2011","unstructured":"Ferm\u00e9, E.L., Hansson, S.O.: AGM 25 years - twenty-five years of research in belief change. JPL\u00a040(2), 295\u2013331 (2011)","journal-title":"JPL"},{"issue":"4","key":"54_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1970398.1970401","volume":"12","author":"P. Ferraris","year":"2011","unstructured":"Ferraris, P.: Logic programs with propositional connectives and aggregates. TOCL 12(4), 25:1\u201325:40 (2011)","journal-title":"TOCL"},{"key":"54_CR16","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP 1988, Seattle, Washington, pp. 1070\u20131080. MIT Press (1988)"},{"key":"54_CR17","unstructured":"Guadarrama, J.C.A.: On Updates of Epistemic States Belief Change under Incomplete Information. PhD thesis, Clausthal University of Technology (2010)"},{"key":"54_CR18","unstructured":"Van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier (2008)"},{"issue":"3","key":"54_CR19","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1992","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artificial Intelligence\u00a052(3), 263\u2013294 (1992)","journal-title":"Artificial Intelligence"},{"key":"54_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-540-24599-5_31","volume-title":"Logic Programming","author":"J. Lee","year":"2003","unstructured":"Lee, J., Lifschitz, V.: Loop formulas for disjunctive logic programs. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 451\u2013465. Springer, Heidelberg (2003)"},{"issue":"4","key":"54_CR21","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. TOCL\u00a02(4), 526\u2013541 (2001)","journal-title":"TOCL"},{"issue":"1-2","key":"54_CR22","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. Artificial Intelligence\u00a0157(1-2), 115\u2013137 (2004)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"54_CR23","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1010555305483","volume":"67","author":"W. Liu","year":"2001","unstructured":"Liu, W., Williams, M.-A.: A framework for multi-agent belief revision. Studia Logica\u00a067(2), 291\u2013312 (2001)","journal-title":"Studia Logica"},{"issue":"4","key":"54_CR24","first-page":"451","volume":"7","author":"M. Osorio","year":"2007","unstructured":"Osorio, M., Cuevas, V.: Updates in answer set programming: An approach based on basic structural properties. TPLP\u00a07(4), 451\u2013479 (2007)","journal-title":"TPLP"},{"key":"54_CR25","doi-asserted-by":"crossref","unstructured":"Peppas, P.: Belief Revision. In: Handbook of Knowledge Representation, ch. 8. Foundations in Artificial Intelligence, pp. 317\u2013360. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03008-8"},{"issue":"6","key":"54_CR26","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":"54_CR27","unstructured":"Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: FGCS 1988, Tokyo, Japan, pp. 455\u2013462 (1988)"},{"issue":"1-2","key":"54_CR28","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.artint.2003.11.001","volume":"155","author":"L. Serafini","year":"2004","unstructured":"Serafini, L., Bouquet, P.: Comparing formal theories of context in AI. Artificial Intelligence\u00a0155(1-2), 41\u201367 (2004)","journal-title":"Artificial Intelligence"},{"key":"54_CR29","unstructured":"Zhang, Y., Foo, N.Y.: Towards generalized rule-based updates. In: IJCAI (1), pp. 82\u201388. Morgan Kaufmann (1997)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:33:35Z","timestamp":1558060415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}