{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:26:52Z","timestamp":1725488812807},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438656"},{"type":"electronic","value":"9783540454700"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45470-5_11","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T06:38:36Z","timestamp":1186900716000},"page":"90-101","source":"Crossref","is-referenced-by-count":1,"title":["Multicontext Logic for Semigroups of Contexts"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Nossum","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1207\/S15327051HCI16234_06","volume":"16","author":"M. Benerecetti","year":"2001","unstructured":"M. Benerecetti, P. Bouquet, and M. Bonifacio. Distributed context-aware applications. Human Computer Interaction, 16:213\u2013228, 2001. Special issue on Context-aware computing.","journal-title":"Human Computer Interaction"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"M. Benerecetti, P. Bouquet, and C. Ghidini. Contextual reasoning distilled. Journal of Theoretical and Experimental Artificial Intelligence, 2000.","DOI":"10.1080\/09528130050111446"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Sa\u010dsa Buva\u010dc, Vanja Buva\u010dc, and Ian A. Mason. The semantics of propositional contexts. In Proceedings of the Eight International Symposium on Methodologies for Intelligent Systems, volume 869 of Lecture Notes in Artificial Intelligence. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58495-1_47"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Sa\u010dsa Buva\u010dc, Vanja Buva\u010dc, and Ian A. Mason. Metamathematics of context. Fundamenta Informaticae, 23(3), 1995.","DOI":"10.3233\/FI-1995-232345"},{"key":"11_CR5","unstructured":"T. Costello and A. Patterson. Quantifiers over contexts. In KR & R, 1998."},{"key":"11_CR6","unstructured":"C. Dichev. Theory relations and context dependencies. In Proceedings of the 6th Australian Joint Conference on Artificial Intelligence (AI-93), pages 266\u2013272, Melbourne, 1993."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Dov Gabbay and Rolf Nossum. Structured contexts with fibred semantics. In P. Bonzon, M. Cavalcanti, and R. Nossum, editors, Formal Aspects of Context. Applied Logic Series, Kluwer, 2000.","DOI":"10.1007\/978-94-015-9397-7"},{"key":"11_CR8","series-title":"Ph.d. dissertation","volume-title":"A Semantics for Contextual Reasoning: Theory and Two Relevant Applications","author":"C. Ghidini","year":"1998","unstructured":"Chiara Ghidini. A Semantics for Contextual Reasoning: Theory and Two Relevant Applications. Ph.d. dissertation, Dipartimento di Informatica e Stud\u00ee Aziendali, Universit\u00e0 degli Stud\u00ee di Roma \u201cLa Sapienza\u201d, Roma, 1998."},{"key":"11_CR9","series-title":"special issue on I Lin-guaggi e le Macchine","first-page":"345","volume-title":"Epistemologia","author":"F. Giunchiglia","year":"1993","unstructured":"Fausto Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Lin-guaggi e le Macchine(XVI):345\u2013364, 1993. IRST Technical Report 9211-20, IRST,Trento, Italy."},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Fausto Giunchiglia and Luciano Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29\u201370, 1994.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"11_CR11","first-page":"340","volume":"15","author":"R. Guha","year":"1992","unstructured":"Ramanathan Guha and Douglas Lenat. Language, representation and contexts. Journal of Information Processing, 15(3):340\u2013349, 1992.","journal-title":"Journal of Information Processing"},{"key":"11_CR12","unstructured":"Ramanathan V. Guha. Contexts: A Formalization and Some Applications. PhD thesis, Stanford University, 1991."},{"key":"11_CR13","first-page":"481","volume-title":"Themes from Kaplan","author":"D. Kaplan","year":"1989","unstructured":"David Kaplan. Demonstratives: an essay on the semantics, logic, metaphysics, and epistemology of demonstratives and other indexicals. In Joseph Almog, John Perry, and Howard Wettstein, editors, Themes from Kaplan, pages 481\u2013563. Oxford University Press, Oxford, 1989."},{"key":"11_CR14","unstructured":"J. McCarthy and S. Buva\u010dc. Formalising context, (expanded notes). In A. Aliseda, R. van Glabbeek, and D. Westerst\u00e5hl, editors, Computing Natural Language, volume 81 of CSLI Lecture Notes, pages 13\u201350. Stanford University, Center for the Study of Language and Information, 1998."},{"key":"11_CR15","unstructured":"Rolf Nossum. A uniform quantificational logic for algebraic notions of context. Skriftserien 82, Agder University College, N-4604 Kristiansand, Dec 2001. ISBN 82-7117-448-7."},{"key":"11_CR16","first-page":"1","volume-title":"Computing Natural Language","author":"J. Perry","year":"1998","unstructured":"John Perry. Indexicals, contexts, and unarticulated constituents. In Atocha Aliseda, Rob van Glabbeek, and Dag Westerst\u00e5hl, editors, Computing Natural Language, pages 1\u201311. CSLI Publications, Stanford, California, 1998."},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-94-015-9397-7_11","volume-title":"Formal Aspects of Context","author":"L. Serafini","year":"2000","unstructured":"Luciano Serafini and Chiara Ghidini. Context-based semantics for information integration. In Pierre Bonzon, Marcos Cavalcanti, and Rolf Nossum, editors, Formal Aspects of Context, pages 175\u2013192. Kluwer Academic Publishers, Dordrecht, 2000."},{"key":"11_CR18","unstructured":"Luciano Serafini and Fausto Giunchiglia. ML systems: A proof theory for contexts. Journal of Logic, Language and Information, July 2001."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence, Automated Reasoning, and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45470-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T20:25:10Z","timestamp":1587846310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45470-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438656","9783540454700"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45470-5_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}