{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:09:43Z","timestamp":1725797383261},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319097633"},{"type":"electronic","value":"9783319097640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09764-0_4","type":"book-chapter","created":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T00:56:26Z","timestamp":1405904186000},"page":"52-69","source":"Crossref","is-referenced-by-count":4,"title":["Evolving Bridge Rules in Evolving Multi-Context Systems"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-22359-4_23","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Alberti","year":"2011","unstructured":"Alberti, M., Gomes, A.S., Gon\u00e7alves, R., Leite, J., Slota, M.: Normative systems represented as hybrid knowledge bases. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol.\u00a06814, pp. 330\u2013346. Springer, Heidelberg (2011)"},{"key":"4_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"4_CR3","unstructured":"Alferes, J., Leite, J., Pereira, L., Przymusinska, H., Przymusinski, T.: Dynamic logic programming. In: Cohn, A., Schubert, L., Shapiro, S. (eds.) KR, pp. 98\u2013111. Morgan Kaufmann (1998)"},{"issue":"4","key":"4_CR4","doi-asserted-by":"crossref","first-page":"397","DOI":"10.3233\/SW-2011-0053","volume":"3","author":"D. Anicic","year":"2012","unstructured":"Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Stream reasoning and complex event processing in ETALIS. Semantic Web\u00a03(4), 397\u2013407 (2012)","journal-title":"Semantic Web"},{"key":"4_CR5","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"issue":"1","key":"4_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S1793351X10000936","volume":"4","author":"D. Barbieri","year":"2010","unstructured":"Barbieri, D., Braga, D., Ceri, S., Valle, E., Grossniklaus, M.: C-SPARQL: a continuous query language for RDF data streams. Int. J. Semantic Computing\u00a04(1), 3\u201325 (2010)","journal-title":"Int. J. Semantic Computing"},{"issue":"3","key":"4_CR7","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. J. Log. Comput.\u00a08(3), 401\u2013423 (1998)","journal-title":"J. Log. Comput."},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40564-8_1","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G. Brewka","year":"2013","unstructured":"Brewka, G.: Towards reactive multi-context systems. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol.\u00a08148, pp. 1\u201310. Springer, Heidelberg (2013)"},{"key":"4_CR9","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385\u2013390. AAAI Press (2007)"},{"key":"4_CR10","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI, pp. 786\u2013791. IJCAI\/AAAI (2011)"},{"key":"4_CR11","unstructured":"Brewka, G., Ellmauthaler, S., P\u00fchrer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) ECAI. IOS Press (to appear, 2014)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1093\/logcom\/12.1.119","volume":"12","author":"A. Dragoni","year":"2002","unstructured":"Dragoni, A., Giorgini, P., Serafini, L.: Mental states recognition from communication. J. Log. Comput.\u00a012(1), 119\u2013136 (2002)","journal-title":"J. Log. Comput."},{"key":"4_CR13","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR. AAAI Press (2010)"},{"issue":"12-13","key":"4_CR14","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell.\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"4_CR15","series-title":"OASICS","first-page":"19","volume-title":"ICCSW","author":"S. Ellmauthaler","year":"2013","unstructured":"Ellmauthaler, S.: Generalizing multi-context systems for reactive stream reasoning applications. In: Jones, A.V., Ng, N. (eds.) ICCSW. OASICS, vol.\u00a035, pp. 19\u201326. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2013)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T.: Stream reasoning with answer set programming: Preliminary report. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR. AAAI Press (2012)","DOI":"10.1007\/978-3-642-20895-9_7"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-20895-9_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 54\u201366. Springer, Heidelberg (2011)"},{"issue":"3\/4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gen. Comput.\u00a09(3\/4), 365\u2013386 (1991)","journal-title":"New Gen. Comput."},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artif. Intell.\u00a065(1), 29\u201370 (1994)","journal-title":"Artif. Intell."},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-15675-5_17","volume-title":"Logics in Artificial Intelligence","author":"R. Gon\u00e7alves","year":"2010","unstructured":"Gon\u00e7alves, R., Alferes, J.J.: Parametrized logic programming. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 182\u2013194. Springer, Heidelberg (2010)"},{"key":"4_CR21","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) ECAI. IOS Press (to appear, 2014)"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-32897-8_11","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Homola","year":"2012","unstructured":"Homola, M., Knorr, M., Leite, J., Slota, M.: MKNF knowledge bases in multi-context systems. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds.) CLIMA XIII 2012. LNCS, vol.\u00a07486, pp. 146\u2013162. Springer, Heidelberg (2012)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-41335-3_14","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"V. Ivanov","year":"2013","unstructured":"Ivanov, V., Knorr, M., Leite, J.: A query tool for $\\mathcal{EL}$ with non-monotonic rules. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol.\u00a08218, pp. 216\u2013231. Springer, Heidelberg (2013)"},{"issue":"9-10","key":"4_CR24","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M. Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell.\u00a0175(9-10), 1528\u20131554 (2011)","journal-title":"Artif. Intell."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Knorr, M., Slota, M., Leite, J., Homola, M.: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. (2013)","DOI":"10.1093\/logcom\/ext062"},{"key":"4_CR26","unstructured":"L\u00e9cu\u00e9, F., Pan, J.: Predicting knowledge in an ontology stream. In: Rossi, F. (ed.) IJCAI. IJCAI\/AAAI (2013)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM\u00a057(5) (2010)","DOI":"10.1145\/1754399.1754403"},{"key":"4_CR28","unstructured":"Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Kaelbling, L., Saffiotti, A. (eds.) IJCAI, pp. 558\u2013563. Professional Book Center (2005)"},{"issue":"3","key":"4_CR29","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1093\/logcom\/12.3.413","volume":"12","author":"J. Sabater","year":"2002","unstructured":"Sabater, J., Sierra, C., Parsons, S., Jennings, N.R.: Engineering executable agents using multi-context systems. J. Log. Comput.\u00a012(3), 413\u2013442 (2002)","journal-title":"J. Log. Comput."},{"key":"4_CR30","unstructured":"Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 957\u2013962. IOS Press (2010)"},{"key":"4_CR31","unstructured":"Slota, M., Leite, J.: Robust equivalence models for semantic updates of answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR. AAAI Press (2012)"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-33353-8_29","volume-title":"Logics in Artificial Intelligence","author":"M. Slota","year":"2012","unstructured":"Slota, M., Leite, J.: A unifying perspective on knowledge updates. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 372\u2013384. Springer, Heidelberg (2012)"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Slota, M., Leite, J.: The rise and fall of semantic rule updates based on SE-models. TPLP (to appear, 2014)","DOI":"10.1017\/S1471068413000100"},{"key":"4_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-642-40564-8_54","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Wang","year":"2013","unstructured":"Wang, Y., Zhuang, Z., Wang, K.: Belief change in nonmonotonic multi-context systems. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol.\u00a08148, pp. 543\u2013555. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09764-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T12:23:09Z","timestamp":1598098989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09764-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319097633","9783319097640"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09764-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}