{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T02:33:48Z","timestamp":1783132428954,"version":"3.54.6"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T00:00:00Z","timestamp":1552521600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"INdAM-GNCS"},{"DOI":"10.13039\/501100010801","name":"Xunta de Galicia","doi-asserted-by":"crossref","award":["GPC ED431B 2016\/035 and 2016-2019 ED431G\/01"],"award-info":[{"award-number":["GPC ED431B 2016\/035 and 2016-2019 ED431G\/01"]}],"id":[{"id":"10.13039\/501100010801","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1007\/s10472-019-09622-0","type":"journal-article","created":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T11:14:15Z","timestamp":1552562055000},"page":"87-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Multi-context systems in dynamic environments"],"prefix":"10.1007","volume":"86","author":[{"given":"Pedro","family":"Cabalar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefania","family":"Costantini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"De Gasperis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6755-9314","authenticated-orcid":false,"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,3,14]]},"reference":[{"key":"9622_CR1","doi-asserted-by":"crossref","unstructured":"Aielli, F., Ancona, D., Caianiello, P., Costantini, S., De Gasperis, G., Di Marco, A., Ferrando, A., Mascardi, V.: FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain. In: Hallenborg, K., Giroux, S. (eds.) Proceedings of A-HEALTH at PAAMS 2016., Comm. in Computer and Inf. Sci. Springer (2016)","DOI":"10.1007\/978-3-319-39387-2_2"},{"key":"9622_CR2","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving Logic Programs. In: Logics in Artificial Intelligence, Proceedings of the 8Th Europ. Conf., JELIA 2002, LNAI 2424, pp. 50\u201361. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45757-7_5"},{"key":"9622_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19-20","author":"KR Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Programm. 19-20, 9\u201371 (1994)","journal-title":"J. Log. Programm."},{"key":"9622_CR4","doi-asserted-by":"crossref","unstructured":"Barilaro, R., Fink, M., Ricca, F., Terracina, G.: Proceedings of LPNMR 2013, LNCS. In: Cabalar, P., Son, T.C. (eds.) , vol. 8148, pp. 168\u2013173. Springer (2013)","DOI":"10.1007\/978-3-642-40564-8_17"},{"key":"9622_CR5","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.artint.2018.04.003","volume":"261","author":"H Beck","year":"2018","unstructured":"Beck, H., Eiter, T.: LARS: A logic-based framework for analytic reasoning over streams. Artif. Intell. 261, 16\u201370 (2018)","journal-title":"Artif. Intell."},{"key":"9622_CR6","unstructured":"Bienvenu, M., Lang, J., Wilson, N.: From Preference Logics to Preference Languages, and Back. In: Proceedings of the Twelfth Intl. Conf. on the Principles of Knowledge Repr. and Reasoning (KR 2010), pp. 414\u2013424 (2010)"},{"key":"9622_CR7","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1613\/jair.1234","volume":"21","author":"C Boutilier","year":"2004","unstructured":"Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: Cp-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. J. Artif. Intell. Res. 21, 135\u2013191 (2004)","journal-title":"J. Artif. Intell. Res."},{"key":"9622_CR8","unstructured":"Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: Proceedings of the 22Nd AAAI Conf. on Artificial Intelligence, pp. 385\u2013390. AAAI Press (2007)"},{"issue":"3","key":"9622_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1609\/aimag.v37i3.2669","volume":"37","author":"G Brewka","year":"2016","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming: Special issue. AI Magazine 37(3), 5\u20136 (2016)","journal-title":"AI Magazine"},{"key":"9622_CR10","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T., Fink, M.: Nonmonotonic Multi-Context Systems. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, LNCS, vol. 6565, pp. 233\u2013258. Springer (2011)","DOI":"10.1007\/978-3-642-20832-4_16"},{"key":"9622_CR11","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed Multi-Context Systems. In: Proceedings of IJCAI 2011, pp. 786\u2013791. AAAI (2011)"},{"key":"9622_CR12","unstructured":"Brewka, G., Ellmauthaler, S., P\u00fchrer, J.: Multi-Context Systems for Reactive Reasoning in Dynamic Environments. In: Schaub, T. (ed.) Proceedings of ECAI 2014. AAAI (2014)"},{"issue":"4","key":"9622_CR13","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1609\/aimag.v29i4.2179","volume":"29","author":"G Brewka","year":"2008","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczy\u0144ski, M.: Preferences and nonmonotonic reasoning. AI Magazine 29(4), 69\u201378 (2008)","journal-title":"AI Magazine"},{"key":"9622_CR14","unstructured":"Cabalar, P., Costantini, S., Formisano, A.: Multi-context systems: Dynamics and evolution. In: Bogaerts, B., Harrison, A. (eds.) Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017., CEUR Workshop Proceedings, vol. 1868. CEUR-WS.org. \n                    http:\/\/ceur-ws.org\/Vol-1868\n                    \n                   (2017)"},{"key":"9622_CR15","doi-asserted-by":"crossref","unstructured":"Costantini, S.: ACE: a Flexible Environment for Complex Event Processing in Logical Agents. In: EMAS 2015, Revised Selected Papers, LNCS, vol. 9318. Springer (2015)","DOI":"10.1007\/978-3-319-26184-3_5"},{"key":"9622_CR16","doi-asserted-by":"crossref","unstructured":"Costantini, S.: Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments. In: Truszczyn\u0307ski, M., Ianni, G., Calimeri, F. (eds.) Proceedings of LPNMR 2013, LNCS, vol. 9345. Springer (2015)","DOI":"10.1007\/978-3-319-23264-5_20"},{"key":"9622_CR17","unstructured":"Costantini, S., De Gasperis, G.: Exchanging data and ontological definitions in multi-agent-contexts systems. In: Paschke, A., Fodor, P., Giurca, A., Kliegr, T. (eds.) RuleMLChallenge track, Proceedings, CEUR Workshop Proceedings. CEUR-WS.org (2015)"},{"issue":"1","key":"9622_CR18","first-page":"3","volume":"64","author":"S Costantini","year":"2009","unstructured":"Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. Journal of Algorithms in Cognition Informatics and Logic 64(1), 3\u201315 (2009)","journal-title":"Journal of Algorithms in Cognition Informatics and Logic"},{"key":"9622_CR19","doi-asserted-by":"crossref","unstructured":"Costantini, S., Formisano, A.: Augmenting Weight Constraints with Complex Preferences. In: Logical Formalizations of Commonsense Reasoning, Papers from The 2011 AAAI Spring Symposium, pp. \u2013. AAAI Press, USA (2011)","DOI":"10.1007\/978-3-642-20895-9_24"},{"key":"9622_CR20","doi-asserted-by":"crossref","unstructured":"Costantini, S., Formisano, A.: Weight Constraints with Preferences in ASP. In: Proceedings of the 11Th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR2011), Lecture Notes in Computer Science. Springer (2011)","DOI":"10.1007\/978-3-642-20895-9_24"},{"key":"9622_CR21","doi-asserted-by":"crossref","unstructured":"Costantini, S., Formisano, A.: Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. In: Osman, N., Sierra, C. (eds.) Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Visionary Papers, Revised Selected Papers, Lecture Notes in Computer Science, vol. 10003, pp. 104\u2013121 (2016)","DOI":"10.1007\/978-3-319-46840-2_7"},{"key":"9622_CR22","doi-asserted-by":"crossref","unstructured":"Costantini, S., Formisano, A.: Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules. In: Baldoni, M., M\u00fcller, J.P., Nunes, I., Zalila-Wenkstern, R. (eds.) Proceedings of EMAS 2016, Lecture Notes in Computer Science, vol. 10093, pp. 192\u2013209. Springer. Also in [21] (2016)","DOI":"10.1007\/978-3-319-50983-9_11"},{"key":"9622_CR23","doi-asserted-by":"crossref","unstructured":"Costantini, S., Gasperis, G.D.: Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. In: Alferes, J.J., Bertossi, L.E., Governatori, G., Fodor, P., Roman, D. (eds.) Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016. Proceedings, Lecture Notes in Computer Science, vol. 9718, pp. 97\u2013112. Springer (2016)","DOI":"10.1007\/978-3-319-42019-6_7"},{"key":"9622_CR24","unstructured":"Costantini, S., Gasperis, G.D., Olivieri, R.: Digital forensics evidence analysis: An answer set programming approach for generating investigation hypotheses. In: Francesco, M.T., Ianni, C.G. (eds.) Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Proceedings, Lecture Notes in Computer Science, vol. 9345, pp. 228\u2013241. Springer. Long version in CEUR Workshop Proceedings of CILC 2015, 30th Italian Conference of Computational Logic (2015)"},{"key":"9622_CR25","doi-asserted-by":"crossref","unstructured":"Dao-Tran, M., Eiter, T.: Streaming multi-context systems. In: Sierra, C. (ed.) Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pp. 1000\u20131007. ijcai.org (2017)","DOI":"10.24963\/ijcai.2017\/139"},{"key":"9622_CR26","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1613\/jair.4574","volume":"52","author":"M Dao-Tran","year":"2015","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed evaluation of nonmonotonic multi-context systems. J. Artif. Intell. Res. 52, 543\u2013600 (2015)","journal-title":"J. Artif. Intell. Res."},{"key":"9622_CR27","unstructured":"Eiter, T., Fink, M., Schu\u0307ller, P., Weinzierl, A.: Finding Explanations of Inconsistency in Multi-Context Systems. In: Lin, F., Sattler, U., Truszczyn\u0307ski, M. (eds.) Proceedings of KR 2010. AAAI (2010)"},{"key":"9622_CR28","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1613\/jair.5416","volume":"60","author":"T Eiter","year":"2017","unstructured":"Eiter, T., Weinzierl, A.: Preference-based inconsistency management in multi-context systems. J. Artif. Intell. Res. 60, 347\u2013424 (2017)","journal-title":"J. Artif. Intell. Res."},{"issue":"3","key":"9622_CR29","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201368 (2016)","journal-title":"AI Mag."},{"key":"9622_CR30","doi-asserted-by":"crossref","unstructured":"Fink, M., Ghionna, L., Weinzierl, A.: Relational Information Exchange and Aggregation in Multi-Context Systems. In: Proceedings Of LPNMR 2011, LNCS, vol. 6645, pp. 120\u2013133 (2011)","DOI":"10.1007\/978-3-642-20895-9_12"},{"key":"9622_CR31","unstructured":"Gelfond, M.: Answer Sets. In: Handbook of Knowledge Representation, Chap. 7. Elsevier (2007)"},{"key":"9622_CR32","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th Intl. Conf. and Symposium on Logic Programming (ICLP\/SLP\u201988), pp. 1070\u20131080. The MIT Press (1988)"},{"key":"9622_CR33","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. N. Gener. Comput. 9, 365\u2013385 (1991)","journal-title":"N. Gener. Comput."},{"issue":"1","key":"9622_CR34","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":"9622_CR35","unstructured":"Glascock, A., Kutzik, D.: Essential Lessons for the Success of Telehomecare: Why It\u2019s Not Plug and Play. Assistive technology research series. IOS Press (2012)"},{"key":"9622_CR36","doi-asserted-by":"crossref","unstructured":"Gon\u010balves, R., Knorr, M., Leite, J.: Evolving Bridge Rules in Evolving Multi-Context Systems. In: Proceedings Of CLIMA 2014, LNCS, vol. 8624, pp. 52\u201369. Springer (2014)","DOI":"10.1007\/978-3-319-09764-0_4"},{"key":"9622_CR37","unstructured":"Gon\u010balves, R., Knorr, M., Leite, J.: Evolving Multi-Context Systems. In: Proceedings Of ECAI 2014, pp. 375\u2013380. IOS (2014)"},{"issue":"1-3","key":"9622_CR38","doi-asserted-by":"publisher","first-page":"171","DOI":"10.3233\/FI-2018-1646","volume":"158","author":"T Le","year":"2018","unstructured":"Le, T., Son, T.C., Pontelli, E.: Multi-context systems with preferences. Fundam. Inform. 158(1-3), 171\u2013216 (2018)","journal-title":"Fundam. Inform."},{"key":"9622_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of logic programming. Springer, Berlin (1987)"},{"key":"9622_CR40","doi-asserted-by":"crossref","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable Logic Programming - An Alternative Logic Programming Paradigm. In: 25 Years of Logic Programming Paradigm, pp. 375\u2013398. Springer (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"9622_CR41","unstructured":"Olivieri, R.: Digital Forensics Meets Complexity Theory and Artificial Intelligence: Towards Automated Generation of Investigation Hypothesis. Ph.D. Thesis, Ph.D. Program in Information and Communication Technology, University of L\u2019Aquila, Italy (2016)"},{"key":"9622_CR42","unstructured":"Roelofsen, F., Serafini, L., Cimatti, A.: Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. In: Lo\u0307pez De Ma\u0307ntaras, R., Saitta, L. (eds.) Proceedings of ECAI 2004, pp. 58\u201362. IOS Press (2004)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-019-09622-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-019-09622-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-019-09622-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T00:41:12Z","timestamp":1584060072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-019-09622-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,14]]},"references-count":42,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2019,7]]}},"alternative-id":["9622"],"URL":"https:\/\/doi.org\/10.1007\/s10472-019-09622-0","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3,14]]},"assertion":[{"value":"14 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}