{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:10:02Z","timestamp":1725869402629},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319487571"},{"type":"electronic","value":"9783319487588"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48758-8_35","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T09:24:55Z","timestamp":1477905895000},"page":"529-535","source":"Crossref","is-referenced-by-count":3,"title":["Inconsistency Management in Reactive Multi-context Systems"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Brewka","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Ellmauthaler","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg","family":"P\u00fchrer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"JJ 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. 2424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Vianu, V., Papadimitriou, C.H. (eds.) Proceedings of ACM SIGACT-SIGMOD-SIGART, pp. 68\u201379. ACM Press (1999)","DOI":"10.1145\/303976.303983"},{"key":"35_CR3","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of AAAI, pp. 385\u2013390. AAAI Press (2007)"},{"key":"35_CR4","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) Proceedings of IJCAI, pp. 786\u2013791. IJCAI\/AAAI (2011)"},{"key":"35_CR5","unstructured":"Brewka, G., Ellmauthaler, S., Gon\u00e7alves, R., Knorr, M., Leite, J., P\u00fchrer, J.: Reactive multi-context systems: heterogeneous reasoning in dynamic environments (2016). http:\/\/arxiv.org\/abs\/1609.03438"},{"key":"35_CR6","unstructured":"Brewka, G., Ellmauthaler, S., P\u00fchrer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Proceedings of ECAI, pp. 159\u2013164 (2014)"},{"key":"35_CR7","unstructured":"Brewka, G., Roelofsen, F., Serafini, L.: Contextual default reasoning. In: Veloso, M.M. (ed.) Proceedings of IJCAI, pp. 268\u2013273 (2007)"},{"key":"35_CR8","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/j.artint.2014.07.008","volume":"216","author":"T Eiter","year":"2014","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216, 233\u2013274 (2014)","journal-title":"Artif. Intell."},{"key":"35_CR9","first-page":"19","volume-title":"Proceedings of ICCSW, OASICS","author":"S Ellmauthaler","year":"2013","unstructured":"Ellmauthaler, S.: Generalizing multi-context systems for reactive stream reasoning applications. In: Jones, A.V., Ng, N. (eds.) Proceedings of ICCSW, OASICS, vol. 35, pp. 19\u201326. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2013)"},{"key":"35_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-3-319-14726-0_10","volume-title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","author":"S Ellmauthaler","year":"2015","unstructured":"Ellmauthaler, S., P\u00fchrer, J.: Asynchronous multi-context systems. In: Eiter, T., Strass, H., Truszczy\u0144ski, M., Woltran, S. (eds.) Advances in Knowledge Representation. LNCS, vol. 9060, pp. 141\u2013156. Springer, Heidelberg (2015)"},{"key":"35_CR11","unstructured":"Fink, M.: Paraconsistent hybrid theories. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of KR. AAAI Press (2012)"},{"key":"35_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/978-3-319-09764-0_4","volume-title":"Computational Logic in Multi-Agent Systems","author":"R 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 2014. LNCS, vol. 8624, pp. 52\u201369. Springer, Heidelberg (2014)"},{"key":"35_CR13","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Proceedings of ECAI, pp. 375\u2013380 (2014)"},{"key":"35_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1007\/978-3-319-23485-4_62","volume-title":"Progress in Artificial Intelligence","author":"R Gon\u00e7alves","year":"2015","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Minimal change in evolving multi-context systems. In: Pereira, F., Machado, P., Costa, E., Cardoso, A. (eds.) EPIA 2015. LNCS, vol. 9273, pp. 611\u2013623. Springer, Heidelberg (2015)"},{"key":"35_CR15","unstructured":"Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of IJCAI, pp. 3098\u20133105. AAAI Press (2015)"},{"key":"35_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/978-3-319-13560-1_23","volume-title":"PRICAI 2014: Trends in Artificial Intelligence","author":"M Knorr","year":"2014","unstructured":"Knorr, M., Gon\u00e7alves, R., Leite, J.: On efficient evolving multi-context systems. In: Pham, D.-N., Park, S.-B. (eds.) PRICAI 2014. LNCS, vol. 8862, pp. 284\u2013296. Springer, Heidelberg (2014)"}],"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-319-48758-8_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:26:47Z","timestamp":1498343207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48758-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319487571","9783319487588"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48758-8_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}