{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:24:45Z","timestamp":1725809085470},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319135595"},{"type":"electronic","value":"9783319135601"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13560-1_23","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T10:24:07Z","timestamp":1415960647000},"page":"284-296","source":"Crossref","is-referenced-by-count":2,"title":["On Efficient Evolving Multi-Context Systems"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Knorr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) Procs. ECAI, pp. 375\u2013380. IOS Press (2014)"},{"key":"23_CR2","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Procs. AAAI, pp. 385\u2013390. AAAI Press (2007)"},{"key":"23_CR3","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) Procs. IJCAI, pp. 786\u2013791. IJCAI\/AAAI (2011)"},{"issue":"1","key":"23_CR4","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":"23_CR5","unstructured":"Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Kaelbling, L.P., Saffiotti, A. (eds.) Procs. IJCAI, pp. 558\u2013563. Professional Book Center (2005)"},{"key":"23_CR6","series-title":"LNCS (LNAI)","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 (LNAI), vol.\u00a06341, pp. 182\u2013194. Springer, Heidelberg (2010)"},{"issue":"5","key":"23_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"Boris Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5) (2010)","journal-title":"Journal of the ACM"},{"issue":"9-10","key":"23_CR8","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":"23_CR9","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)"},{"key":"23_CR10","series-title":"LNCS (LNAI)","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 (LNAI), vol.\u00a06814, pp. 330\u2013346. Springer, Heidelberg (2011)"},{"key":"23_CR11","series-title":"LNCS (LNAI)","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 (LNAI), vol.\u00a07486, pp. 146\u2013162. Springer, Heidelberg (2012)"},{"key":"23_CR12","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":"23_CR13","series-title":"Lecture Notes in Artificial Intelligence","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. A., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201362. Springer, Heidelberg (2002)"},{"key":"23_CR14","series-title":"LNCS (LNAI)","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 (LNAI), vol.\u00a06645, pp. 54\u201366. Springer, Heidelberg (2011)"},{"key":"23_CR15","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.) Procs. KR. AAAI Press (2012)","DOI":"10.1007\/978-3-642-20895-9_7"},{"issue":"1","key":"23_CR16","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.D., 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"},{"key":"23_CR17","unstructured":"L\u00e9cu\u00e9, F., Pan, J.: Predicting knowledge in an ontology stream. In: Rossi, F. (ed.) Procs. IJCAI. IJCAI\/AAAI (2013)"},{"issue":"4","key":"23_CR18","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"},{"issue":"4-5","key":"23_CR19","first-page":"801","volume":"11","author":"M. Slota","year":"2011","unstructured":"Slota, M., Leite, J., Swift, T.: Splitting and updating hybrid knowledge bases. TPLP\u00a011(4-5), 801\u2013819 (2011)","journal-title":"TPLP"},{"key":"23_CR20","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 University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"23_CR21","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)"},{"key":"23_CR22","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 364\u2013369. Professional Book Center (2005)"},{"issue":"3","key":"23_CR23","first-page":"620","volume":"38","author":"A.V. Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"issue":"3","key":"23_CR24","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv.\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"23_CR25","series-title":"LNCS (LNAI)","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 (LNAI), vol.\u00a08148, pp. 1\u201310. Springer, Heidelberg (2013)"},{"key":"23_CR26","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: ICCSW. OASICS, vol.\u00a035, pp. 19\u201326. Schloss Dagstuhl, Germany (2013)"},{"key":"23_CR27","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.) Procs. ECAI, pp. 159\u2013164. IOS Press (2014)"},{"key":"23_CR28","first-page":"52","volume-title":"Lecture Notes in Computer Science","author":"Ricardo Gon\u00e7alves","year":"2014","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Evolving bridge rules in evolving multi-context systems. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA XV 2014. LNCS (LNAI), vol.\u00a08624, pp. 52\u201369. Springer, Heidelberg (2014)"},{"key":"23_CR29","unstructured":"Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Procs. ECAI, pp. 957\u2013962. IOS Press (2010)"},{"key":"23_CR30","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. AAAI Press (2012)"},{"key":"23_CR31","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":"23_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":"23_CR33","series-title":"LNCS (LNAI)","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 (LNAI), vol.\u00a08148, pp. 543\u2013555. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2014: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13560-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,26]],"date-time":"2020-08-26T19:31:37Z","timestamp":1598470297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13560-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319135595","9783319135601"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13560-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}