{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:44:15Z","timestamp":1742917455780,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"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-23264-5_20","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"228-241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"unstructured":"Montali, M., Calvanese, D., De Giacomo, G.: Verification of data-aware commitment-based multiagent system. In: Proceedings of AAMAS (2014)","key":"20_CR1"},{"key":"20_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"3","key":"20_CR3","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/s10458-008-9053-x","volume":"17","author":"A Omicini","year":"2008","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Artifacts in the a&a meta-model for multi-agent systems. Auton. Agent. Multi-Agent Syst. 17(3), 432\u2013456 (2008)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 385\u2013390. AAAI Press (2007)","key":"20_CR4"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-20832-4_16","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 233\u2013258. Springer, Heidelberg (2011)"},{"unstructured":"Brewka, G., Ellmauthaler, S., P\u00fchrer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: ECAI 2014, Proceedings of the 21st European Conference on Artificial Intelligence. IJCAI\/AAAI (2014)","key":"20_CR6"},{"unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI\/AAAI, pp. 786\u2013791 (2011)","key":"20_CR7"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\u201320","author":"KR Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.: Logic programming and negation: a survey. J. Log. Program. 19\u201320, 9\u201371 (1994)","journal-title":"J. Log. Program."},{"key":"20_CR9","first-page":"601","volume-title":"The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi","author":"MP Singh","year":"2012","unstructured":"Singh, M.P.: Commitments in multiagent systems: some history, some confusions, some controversies, some prospects. In: Paglieri, F., Tummolini, L., Falcone, R., Miceli, M. (eds.) The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, pp. 601\u2013626. College Publications, London (2012)"},{"unstructured":"Costantini, S.: Self-checking logical agents. In: Proceedings of the Eighth Latin American Workshop on Logic, Languages, Algorithms and New Methods of Reasoning LA-NMR 2012. CEUR Workshop Proceedings of the vol. 911, pp. 3\u201330 CEUR-WS.org (2012). Invited Paper, Extended Abstract in Proceedings of the AAMAS 2013","key":"20_CR10"},{"unstructured":"Costantini, S., De Gasperis, G.: Runtime self-checking via temporal (meta-)axioms for assurance of logical agent systems. In: Proceedings of the LAMAS 2014, 7th Workshop on Logical Aspects of Multi-Agent Systems, held at AAMAS 2014, pp. 241\u2013255 (2014)","key":"20_CR11"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T21:59:25Z","timestamp":1676584765000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_20","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":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}