{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:06:01Z","timestamp":1725559561610},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540269243"},{"type":"electronic","value":"9783540318903"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11508373_32","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T17:59:54Z","timestamp":1279130394000},"page":"424-435","source":"Crossref","is-referenced-by-count":0,"title":["Minimality and Non-determinism in Multi-context Systems"],"prefix":"10.1007","author":[{"given":"Floris","family":"Roelofsen","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"32_CR1","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1080\/09528130050111446","volume":"12","author":"M. Benerecetti","year":"2000","unstructured":"Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence\u00a012(3), 279\u2013305 (2000)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"2","key":"32_CR2","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. Artificial Intelligence\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"32_CR3","first-page":"345","volume":"XVI","author":"F. Giunchiglia","year":"1993","unstructured":"Giunchiglia, F.: Contextual reasoning. Epistemologia\u00a0XVI, 345\u2013364 (1993)","journal-title":"Epistemologia"},{"issue":"1","key":"32_CR4","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. Artificial Intelligence\u00a065(1), 29\u201370 (1994)","journal-title":"Artificial Intelligence"},{"key":"32_CR5","unstructured":"McCarthy, J.: Notes on formalizing context. In: International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 555\u2013560 (1993)"},{"key":"32_CR6","unstructured":"McCarthy, J., Buva\u010d, S.: Formalizing context (expanded notes). In: Computing Natural Language. CSLI Lecture Notes, vol.\u00a081, pp. 13\u201350 (1998)"},{"key":"32_CR7","unstructured":"Roelofsen, F., Serafini, L., Cimatti, A.: Many hands make light work: Localized satisfiability for multi-context systems. In: European Conference on Artificial Intelligence (ECAI 2004), pp. 58\u201362 (2004)"},{"key":"32_CR8","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00881915","volume":"13","author":"C. Sakama","year":"1994","unstructured":"Sakama, C., Inoue, K.: An alternative approach to the semantics of disjunctive programs and deductive databases. Journal of Automated Reasoning\u00a013, 145\u2013172 (1994)","journal-title":"Journal of Automated Reasoning"},{"key":"32_CR9","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. Artificial Intelligence\u00a0155, 41\u201367 (2004)","journal-title":"Artificial Intelligence"},{"key":"32_CR10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05, 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11508373_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:44:51Z","timestamp":1619491491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11508373_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540269243","9783540318903"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11508373_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}