{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T14:59:39Z","timestamp":1759935579766},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423799"},{"type":"electronic","value":"9783540446071"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44607-9_7","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T14:21:48Z","timestamp":1196346108000},"page":"87-101","source":"Crossref","is-referenced-by-count":5,"title":["Two Formalizations of Context: A Comparison"],"prefix":"10.1007","author":[{"given":"P.","family":"Bouquet","sequence":"first","affiliation":[]},{"given":"L.","family":"Serafini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,7]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"M. Benerecetti, P. Bouquet, and C. Ghidini. Formalizing belief report-the approach and a case study. In F. Giunchiglia, editor, Artificial Intelligence: Methodology, Systems, and Applications (AIMSA\u2019 98), volume 1480 of Lecture Notes in Artificial Intelligence, pages 62\u201375. Springer, 1998.","DOI":"10.1007\/BFb0057435"},{"issue":"3","key":"7_CR2","first-page":"401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems, 8(3):401\u2013423, 1998.","journal-title":"Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems"},{"issue":"2\u20134","key":"7_CR3","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/FI-1995-232344","volume":"23","author":"P. Bouquet","year":"1995","unstructured":"P. Bouquet and F. Giunchiglia. Reasoning about Theory Adequacy: A New Solution to the Qualification Problem. Fundamenta Informaticae, 23(2\u20134):247\u2013262, June, July, August 1995.","journal-title":"Fundamenta Informaticae"},{"key":"7_CR4","unstructured":"S. Buva\u010d and Ian A. Mason. Propositional logic of context. In R. Fikes and W. Lehnert, editors, Proc. of the 11th National Conference on Artificial Intelligence, pages 412\u2013419, Menlo Park, California, 1993. AAAI Press."},{"key":"7_CR5","unstructured":"Sa\u0161a Buva\u010d. Quantificational logic of context. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996."},{"key":"7_CR6","unstructured":"A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization. In P. Brezillon and S. Abu-Hakima, editors, Proc. of the IJCAI-95 Workshop on \u201cModelling Context in Knowledge Representation and Reasoning\u201d, pages 35\u201345, 1995."},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/3-540-58855-8_4","volume-title":"Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages","author":"A. Cimatti","year":"1995","unstructured":"A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, number 890 in Lecture Notes in Computer Science, pages 71\u201385. Springer Verlag, 1995."},{"key":"7_CR8","unstructured":"A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57\u201364, 1996."},{"key":"7_CR9","series-title":"Technical Report 0003-38","volume-title":"Journal of Logic and Computation","author":"G. Criscuolo","year":"2001","unstructured":"G. Criscuolo, F. Giunchiglia, and L. Serafini. A Foundation for Metareasoning, Part I: The proof theory. Technical Report 0003-38, IRST, Trento, Italy, 2001. To appear in the Journal of Logic and Computation."},{"key":"7_CR10","series-title":"Technical Report 0010-07","volume-title":"Journal of Logic and Computation","author":"G. Criscuolo","year":"2000","unstructured":"G. Criscuolo, F. Giunchiglia, and L. Serafini. A Foundation for Metareasoning, Part II: The model theory. Technical Report 0010-07, IRST, Trento, Italy, 2000. To appear in the Journal of Logic and Computation."},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"C. Ghidini and F. Giunchiglia. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence, 127(2):221\u2013259, 2001.","journal-title":"Artificial Intelligence"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"E. Giunchiglia and F. Giunchiglia. Ideal and real belief about belief. Journal of Logic and Computation, To appear in 2000.","DOI":"10.1093\/logcom\/11.1.157"},{"key":"7_CR13","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. Short version in Proceedings IJCAI\u201993 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39\u201349. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.","journal-title":"Epistemologia, special issue on I Linguaggi e le Macchine"},{"key":"7_CR14","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"},{"issue":"12","key":"7_CR15","doi-asserted-by":"publisher","first-page":"1030","DOI":"10.1145\/33447.33448","volume":"30","author":"J. McCarthy","year":"1987","unstructured":"J. McCarthy. Generality in Artificial Intelligence. Communications of ACM, 30(12):1030\u20131035, 1987. Also in V. Lifschitz (ed.), Formalizing common sense: papers by John McCarthy, Ablex Publ., 1990, pp. 226\u2013236.","journal-title":"Communications of ACM"},{"key":"7_CR16","unstructured":"J. McCarthy. Notes on Formalizing Context. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 555\u2013560, Chambery, France, 1993."},{"key":"7_CR17","unstructured":"J. McCarthy and S. Buva\u010d. Formalizing Context (Expanded Notes). In A. Aliseda, R.J. van Glabbeek, and D. Westerst\u00e5hl, editors, Computing Natural Language, volume 81 of CSLI Lecture Notes, pages 13\u201350. Center for the Study of Language and Information, Stanford University, 1998."},{"key":"7_CR18","volume-title":"Natural Deduction-A proof theoretical study","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz. Natural Deduction-A proof theoretical study. Almquist and Wiksell, Stockholm, 1965."},{"key":"7_CR19","unstructured":"L. Serafini. Quantificational logic of contexts revisited. Technical Report 0105-01, ITC-IRST, 2001."}],"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-44607-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T19:13:43Z","timestamp":1588101223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44607-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423799","9783540446071"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44607-9_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}