{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:10:57Z","timestamp":1737436257198,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664321"},{"type":"electronic","value":"9783540483151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48315-2_13","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:51:21Z","timestamp":1187268681000},"page":"159-172","source":"Crossref","is-referenced-by-count":4,"title":["A Context-Based Logic for Distributed Knowledge Representation and Reasoning"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Ghidini","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,12,6]]},"reference":[{"key":"13_CR1","unstructured":"V. Akman and M. Surav. Steps toward Formalizing Context. AI Magazine, pages 55\u201372, FALL 1996."},{"issue":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1023\/A:1008278803780","volume":"7","author":"D. Basin","year":"1998","unstructured":"D. Basin, S. Matthews, and L. Vigan\u00f2. Labelled Modal Logics: Quantifiers. Journal of Logic, Language and Information, 7(3):237\u2013263, 1998.","journal-title":"Journal of Logic, Language and Information"},{"issue":"4","key":"13_CR3","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1142\/S0218215793000174","volume":"2","author":"T. Catarci","year":"1993","unstructured":"T. Catarci and M. Lenzerini. Representing and using interschema knowledge in cooperative information systems. International Journal of Intelligent and Cooperative Information Systems, 2(4):375\u2013398, 1993.","journal-title":"International Journal of Intelligent and Cooperative Information Systems"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/BF00156916","volume":"1","author":"M. D\u2019Agostino","year":"1992","unstructured":"M. D\u2019Agostino. Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence. Journal of Logic, Language and Information, 1:235\u2013252, 1992.","journal-title":"Journal of Logic, Language and Information"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"J. Dinsmore. Partitioned Representations. Kluwer Academic Publisher, 1991.","DOI":"10.1007\/978-94-011-3574-0"},{"key":"13_CR6","unstructured":"F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Reasoning in description logics. In G. Brewka, editor, Principles of Knowledge Representation and Reasoning, Studies in Logic, Language and Information. CLSI Publications, 1996."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"R. Fagin, J.Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"13_CR8","unstructured":"D. M. Gabbay. Labelled Deductive Systems; principles and applications. Vol 1: Introduction, volume 33 of Oxford Logic Guides. Oxford University Press, 1996."},{"key":"13_CR9","unstructured":"C. Ghidini. A semantics for contextual reasoning: theory and two relevant applications. PhD thesis, Department of Computer Science, University of Rome \u201cLa Sapienza\u201d, March 1998."},{"key":"13_CR10","first-page":"345","volume":"XVI","author":"F. Giunchiglia","year":"1993","unstructured":"F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345\u2013364, 1993.","journal-title":"Epistemologia, special issue on I Linguaggi e le Macchine"},{"key":"13_CR11","unstructured":"F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proc. of the 6th Int. Conference on Principles of Knowledge Representation and Reasoning (KR\u201998), 1998. Morgan Kaufmann."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29\u201370, 1994.","journal-title":"Artificial Intelligence"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0168-0072(92)90029-Y","volume":"58","author":"A. Masini","year":"1992","unstructured":"A. Masini. 2-Sequent calculus: a proof theory of modalities. Annals of Pure and Applied Logic, 58:229\u2013246, 1992.","journal-title":"Annals of Pure and Applied Logic"},{"key":"13_CR14","volume-title":"Natural Deduction \u2014 A proof theoretical study","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz. Natural Deduction \u2014 A proof theoretical study. Almquist and Wiksell, Stockholm, 1965."},{"key":"13_CR15","unstructured":"L. Serafini and C. Ghidini. Context Based Semantics for Federated Databases. In Proceedings of the 1st International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97), pages 33\u201345, Rio de Jeneiro, Brazil, 1997."},{"issue":"2","key":"13_CR16","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V.S. Subrahmanian","year":"1994","unstructured":"V.S. Subrahmanian. Amalgamating Knowledge Bases. ACM Trans. Database Syst., 19(2):291\u2013331, 1994.","journal-title":"ACM Trans. Database Syst."},{"key":"13_CR17","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.121508","volume":"253","author":"G. Wiederhold","year":"1992","unstructured":"G. Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, 25(3):38\u201349, 1992.","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48315-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:43:47Z","timestamp":1737373427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48315-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664321","9783540483151"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48315-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}