{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:24:11Z","timestamp":1743017051557,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":25,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781493918867"},{"type":"electronic","value":"9781493918874"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-1-4939-1887-4_24","type":"book-chapter","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T13:45:28Z","timestamp":1418132728000},"page":"381-399","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Multi-context Logics\u2014A General Introduction"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Ghidini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,10]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2004.11.004","volume":"162","author":"E. Amir","year":"2000","unstructured":"Amir, E., Mcilraith, S.: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell.162, 49\u201388 (2000)","journal-title":"Artif. Intell."},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/BFb0057435","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"Massimo Benerecetti","year":"1998","unstructured":"Benerecetti, M., Bouquet, P., Ghidini, C.: Formalizing belief reports \u2013 The approach and a case study. In: Giunchiglia, F. (ed.) Proceedings AIMSA'98, 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications,LNAI, vol.\u00a01480, pp.\u00a062\u201375. Springer, Sozopol (1998a)"},{"issue":"3","key":"24_CR3","doi-asserted-by":"crossref","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. Logic Comput.8(3), 401\u2013423 (1998b)","journal-title":"Journal of Logic and Computation"},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A. Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Semantics1, 153\u2013184 (2003)","journal-title":"J. Data Semantics"},{"key":"24_CR5","unstructured":"Bozzato, L., Serafini, L.: Materialization calculus for contexts in the semantic web. In: Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, 23\u201326 July 2013, pp.\u00a0552\u2013572 (2013)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Bozzato, L., Ghidini, C., Serafini, L.: Comparing contextual and flat representations of knowledge: a concrete case about football data. In: Proceedings of the 7th International Conference on Knowledge Capture, K-CAP 2013, Banff, Canada, 23\u201326 June 2013, pp.\u00a09\u201316. ACM (2013)","DOI":"10.1145\/2479832.2479842"},{"key":"24_CR7","unstructured":"Brewka, G., Roelofsen, F., Serafini, L.: Contextual default reasoning. In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 6-12 January 2007, pp.\u00a0268\u2013273 (2007)"},{"key":"24_CR8","first-page":"267","volume-title":"Lecture Notes in Computer Science","author":"Saartje Brockmans","year":"2009","unstructured":"Brockmans, S., Haase, P., Serafini, L., Stuckenschmidt, H.: Formal and conceptual comparison of ontology mapping languages. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies, Lecture Notes in Computer Science, vol. 5445, pp. 267\u2013291. Springer, Heidelberg (2009)"},{"key":"24_CR9","unstructured":"Buvac, S., Mason, I.A.: Propositional logic of context. In: Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, 11\u201315 July 1993, pp.\u00a0412\u2013419. AAAI Press\/MIT Press (1993)"},{"key":"24_CR10","first-page":"71","volume-title":"Lecture Notes in Computer Science","author":"Alessandro Cimatti","year":"1995","unstructured":"Cimatti, A., Serafini, L., Cimatti, R., Serafini, L.: Multi-agent reasoning with belief contexts: the approach and a case study. In: Wooldridge, M., M\u00fcller, J. P., Tambe, M. (eds.) Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, Lecture Notes in Computer Science, number 890, pp. 71\u201385. Springer, Heidelberg (1994)"},{"issue":"3","key":"24_CR11","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/s10458-009-9105-x","volume":"21","author":"M. Fisher","year":"2010","unstructured":"Fisher, M., Ghidini, C.: Executable specifications of resource-bounded agents. Autonom. Agents Multi-Agent Syst.21(3), 368\u2013396 (2010)","journal-title":"Autonom. Agents Multi-Agent Syst"},{"key":"24_CR12","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/3-540-48315-2_12","volume-title":"Modeling and Using Context","author":"Chiara Ghidini","year":"1999","unstructured":"Ghidini, C.: Modelling (un)bounded beliefs. In: Bouquet, P., Serafini, L., Br\u00e9zillon , P., Benerecetti, M., Castellani, F. (eds.) Modelling and Using Context \u2013 Proceedings of the 2nd International and Interdisciplinary Conference, Context'99. Lecture Notes in Artificial Intelligence, vol. \u00a01688, pp.\u00a0145\u2013158. Springer, Heidelberg (1999)"},{"issue":"2","key":"24_CR13","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artif. Intell.127(2), 221\u2013259 (2001)","journal-title":"Artif. Intell."},{"key":"24_CR14","unstructured":"Ghidini, C., Serafini, L.: Distributed first order logics. In: Gabbay, D., de Rijke, M. (eds.) Frontiers of Combining Systems 2 (Papers presented at FroCoS\u201998), Studies in Logic and Computation, pp. 121 -140. Research Studies Press, Baldock (1998)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Ghidini, C., Serafini, L., Tessaris, S.: On relating heterogeneous elements from different ontologies. In: Kokinov, B., Richardson, D., Roth-Berghofer, T., Vieu, L. (eds.) Proceedings of the Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07), Lecture Notes in Artificial Intelligence, Roskilde University, Denmark, vol.\u00a04635, pp.\u00a0234\u2013247. Springer (2007)","DOI":"10.1007\/978-3-540-74255-5_18"},{"issue":"1","key":"24_CR16","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"},{"issue":"1\u20132","key":"24_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1080\/08839510903448650","volume":"24","author":"M. Homola","year":"2010","unstructured":"Homola, M., Serafini, L.: Augmenting subsumption propagation in distributed description logics. Appl. Artif. Intell.24(1\u20132), 39\u201376 (2010)","journal-title":"Appl. Artif. Intell."},{"key":"24_CR18","unstructured":"Roelofsen, F., Serafini, L.: Complexity of contextual reasoning. In: McGuinness, D.L., Ferguson, G. (eds.) Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, San Jose, California, USA, 25\u201329 July 2004, pp.\u00a0118\u2013123. AAAI Press\/MIT Press (2004)"},{"issue":"1\u20132","key":"24_CR19","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.artint.2003.11.001","volume":"155","author":"L. Serafini","year":"2004","unstructured":"Serafini, L., Bouquet, P.: Comparing formal theories of context in ai. Artif. Intell.155(1\u20132), 41\u201367 (2004)","journal-title":"Artif. Intell"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Serafini, L., Ghidini, C.: Context based semantics for information integration. In: Bonzon, P., Cavalcanti, M., Nossum, R. (eds.) Formal Aspects of Context, Applied Logic Series, vol. 20, pp. 175-192. Springer Netherlands (2000)","DOI":"10.1007\/978-94-015-9397-7_11"},{"key":"24_CR21","unstructured":"Serafini, L., Roelofsen, F.: Satisfiability for propositional contexts. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, 2\u20135 June 2004, pp.\u00a0369\u2013376 (2004)"},{"key":"24_CR22","first-page":"361","volume-title":"Lecture Notes in Computer Science","author":"Luciano Serafini","year":"2005","unstructured":"Serafini, L., Tamilin, A.: Drago: Distributed reasoning architecture for the semantic web. In: G\u00f3mez-P\u00e9rez, A., Euzenat. J. (eds.) The Semantic Web: Research and Applications, Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, 29 May -1 June 2005, Proceedings. Lecture Notes in Computer Science, vol. 3532, pp. 361\u2013376. Springer, Heidelberg (2005)"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Serafini, L., Tamilin, A.: Instance migration in heterogeneous ontology environments. In: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, 11\u201315 November 2007. Lecture Notes in Computer Science, vol.\u00a04825, pp.\u00a0452\u2013465. Springer (2007)","DOI":"10.1007\/978-3-540-76298-0_33"},{"key":"24_CR24","unstructured":"Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, 30 July\u20135 August 2005, pp.\u00a0570\u2013575 (2005a)"},{"key":"24_CR25","unstructured":"Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping language for terminological knowledge. In: 19th Joint Conference on Artificial Intelligence (IJCAI-05), pp.\u00a0576\u2013581 (2005b)"}],"container-title":["Context in Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4939-1887-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T13:43:41Z","timestamp":1675259021000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4939-1887-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9781493918867","9781493918874"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-1-4939-1887-4_24","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"10 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}