{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:40:05Z","timestamp":1742942405829,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234847"},{"type":"electronic","value":"9783319234854"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23485-4_62","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T16:07:15Z","timestamp":1440432435000},"page":"611-623","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Minimal Change 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","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"62_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-93920-7_5","volume-title":"Declarative Agent Languages and Technologies VI","author":"M Dastani","year":"2009","unstructured":"Dastani, M., Hindriks, K.V., Nov\u00e1k, P., Tinnemeier, N.A.M.: Combining multiple knowledge representation technologies into agent programming languages. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 60\u201374. Springer, Heidelberg (2009)"},{"key":"62_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-93920-7_7","volume-title":"Declarative Agent Languages and Technologies VI","author":"T Klapiscak","year":"2009","unstructured":"Klapiscak, T., Bordini, R.H.: JASDL: A practical programming approach combining agent and semantic web technologies. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 91\u2013110. Springer, Heidelberg (2009)"},{"key":"62_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/11691792_10","volume-title":"Declarative Agent Languages and Technologies III","author":"\u00c1F Moreira","year":"2006","unstructured":"Moreira, \u00c1.F., Vieira, R., Bordini, R.H., H\u00fcbner, J.F.: Agent-oriented programming with underlying ontological reasoning. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 155\u2013170. Springer, Heidelberg (2006)"},{"key":"62_CR4","unstructured":"Alberti, M., Knorr, M., Gomes, A.S., Leite, J., Gon\u00e7alves, R., Slota, M.: Normative systems require hybrid knowledge bases. In: van der Hoek, W., Padgham, L., Conitzer, V., Winikoff, M. (eds.) Procs. of AAMAS, pp. 1425\u20131426. IFAAMAS (2012)"},{"key":"62_CR5","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Procs. of AAAI, pp. 385\u2013390. AAAI Press (2007)"},{"issue":"1","key":"62_CR6","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. 65(1), 29\u201370 (1994)","journal-title":"Artif. Intell."},{"key":"62_CR7","unstructured":"Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Kaelbling, L., Saffiotti, A. (eds.) Procs. of IJCAI, pp. 558\u2013563. Professional Book Center (2005)"},{"key":"62_CR8","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) Procs. of IJCAI, pp. 786\u2013791. IJCAI\/AAAI (2011)"},{"issue":"3","key":"62_CR9","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. 8(3), 401\u2013423 (1998)","journal-title":"J. Log. Comput."},{"issue":"1","key":"62_CR10","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. 12(1), 119\u2013136 (2002)","journal-title":"J. Log. Comput."},{"issue":"3","key":"62_CR11","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. 12(3), 413\u2013442 (2002)","journal-title":"J. Log. Comput."},{"key":"62_CR12","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) Procs. of ECAI. Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 375\u2013380. IOS Press (2014)"},{"key":"62_CR13","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. 8148, pp. 1\u201310. Springer, Heidelberg (2013)"},{"key":"62_CR14","unstructured":"Ellmauthaler, S.: Generalizing multi-context systems for reactive stream reasoning applications. In: Procs. of ICCSW. OASICS, vol. 35, pp. 19\u201326. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2013)"},{"key":"62_CR15","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. of ECAI. Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 159\u2013164. IOS Press (2014)"},{"key":"62_CR16","series-title":"Lecture Notes in Computer Science (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":"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, p. 50. Springer, Heidelberg (2002)"},{"key":"62_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. 6645, pp. 54\u201366. Springer, Heidelberg (2011)"},{"key":"62_CR18","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. 8148, pp. 543\u2013555. Springer, Heidelberg (2013)"},{"key":"62_CR19","unstructured":"Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Procs. of IJCAI. IJCAI\/AAAI (2015)"},{"key":"62_CR20","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":"62_CR21","unstructured":"Slota, M., Leite, J.: On semantic update operators for answer-set programs. In Coelho, H., Studer, R., Wooldridge, M., (eds.) Procs. of ECAI. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 957\u2013962. IOS Press (2010)"},{"key":"62_CR22","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. of KR. AAAI Press (2012)"},{"issue":"6","key":"62_CR23","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":"62_CR24","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. 7519, pp. 372\u2013384. Springer, Heidelberg (2012)"},{"key":"62_CR25","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Towards efficient evolving multi-context systems (preliminary report). In: Ellmauthaler, S., P\u00fchrer, J. (eds.) Procs. of ReactKnow (2014)"},{"key":"62_CR26","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)"},{"issue":"6","key":"62_CR27","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.1093\/logcom\/ext062","volume":"24","author":"M Knorr","year":"2014","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. 24(6), 1279\u20131311 (2014)","journal-title":"J. Log. Comput."},{"key":"62_CR28","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. 6341, pp. 182\u2013194. Springer, Heidelberg (2010)"},{"issue":"9\u201310","key":"62_CR29","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. 175(9\u201310), 1528\u20131554 (2011)","journal-title":"Artif. Intell."},{"key":"62_CR30","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 $${\\cal EL}$$ with non-monotonic rules. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 216\u2013231. Springer, Heidelberg (2013)"},{"key":"62_CR31","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason (Wiley Series in Agent Technology). John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"issue":"3","key":"62_CR32","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: a practical agent programming language. Journal of Autonomous Agents and Multi-Agent Systems 16(3), 214\u2013248 (2008)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"62_CR33","doi-asserted-by":"crossref","unstructured":"Hindriks, K.V.: Programming rational agents in GOAL. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R.H. (eds.) Multi-Agent Programming, pp. 119\u2013157. Springer, US (2009)","DOI":"10.1007\/978-0-387-89299-3_4"},{"issue":"2","key":"62_CR34","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/logcom\/exr025","volume":"23","author":"N Criado","year":"2013","unstructured":"Criado, N., Argente, E., Botti, V.J.: THOMAS: an agent platform for supporting normative multi-agent systems. J. Log. Comput. 23(2), 309\u2013333 (2013)","journal-title":"J. Log. Comput."},{"key":"62_CR35","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.engappai.2015.04.011","volume":"43","author":"F Meneguzzi","year":"2015","unstructured":"Meneguzzi, F., Rodrigues, O., Oren, N., Vasconcelos, W.W., Luck, M.: BDI reasoning with normative considerations. Eng. Appl. of AI 43, 127\u2013146 (2015)","journal-title":"Eng. Appl. of AI"},{"key":"62_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-00443-8_10","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems IV","author":"HL Cardoso","year":"2009","unstructured":"Cardoso, H.L., Oliveira, E.: A context-based institutional normative environment. In: H\u00fcbner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN 2008. LNCS, vol. 5428, pp. 140\u2013155. Springer, Heidelberg (2009)"},{"key":"62_CR37","unstructured":"Gerard, S.N., Singh, M.P.: Evolving protocols and agents in multiagent systems. In: Gini, M.L., Shehory, O., Ito, T., Jonker, C.M. (eds.) Procs. of AAMAS, pp. 997\u20131004. IFAAMAS (2013)"},{"issue":"2","key":"62_CR38","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/s10458-008-9070-9","volume":"19","author":"WW Vasconcelos","year":"2009","unstructured":"Vasconcelos, W.W., Kollingbaum, M.J., Norman, T.J.: Normative conflict resolution in multi-agent systems. Autonomous Agents and Multi-Agent Systems 19(2), 124\u2013152 (2009)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"62_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-319-14220-3_19","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems IX","author":"S Panagiotidi","year":"2014","unstructured":"Panagiotidi, S., Alvarez-Napagao, S., V\u00e1zquez-Salceda, J.: Towards the norm-aware agent: bridging the gap between deontic specifications and practical mechanisms for norm monitoring and norm-aware planning. In: Balke, T., Dignum, F., van Riemsdijk, M.B., Chopra, A.K. (eds.) COIN 2013. LNCS, vol. 8386, pp. 346\u2013363. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23485-4_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T08:16:30Z","timestamp":1676967390000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23485-4_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234847","9783319234854"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23485-4_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}