{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:38:49Z","timestamp":1725467929104},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649939"},{"type":"electronic","value":"9783540497936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057435","type":"book-chapter","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T04:47:47Z","timestamp":1154321267000},"page":"62-75","source":"Crossref","is-referenced-by-count":6,"title":["Formalizing belief reports \u2014 The approach and a case study"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Benerecetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Bouquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,27]]},"reference":[{"key":"6_CR1","unstructured":"A. Bonomi. Eventi mentali. Il Saggiatore, 1983."},{"key":"6_CR2","series-title":"IRST-Technical Report 9312-01, IRST","first-page":"71","volume-title":"number 890 in Lecture Notes in Computer Science","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. Also IRST-Technical Report 9312-01, IRST, Trento, Italy."},{"key":"6_CR3","first-page":"25","volume":"100","author":"G. Frege","year":"1892","unstructured":"G. Frege. \u00fcber Sinn und Bedeutung. Zeitschrift fur Philosophie und Philosophische Kritik, 100:25\u201350, 1892. English translation in [12].","journal-title":"Zeitschrift fur Philosophie und Philosophische Kritik"},{"key":"6_CR4","unstructured":"C. Ghidini and L. Serafini. Distributed First Order Logics. Technical Report 9804-02, IRST, May 1998. Accepted for presentation at the First International Workshop on Labelled Deduction (LD'98). Freiburg, Germany. September 7\u20139, 1998."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"E. Giunchiglia and F. Giunchiglia. Ideal and Real Belief about Belief. In Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR'96, number 1085 in Lecture Notes in Artificial Intelligence, pages 261\u2013275. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61313-7_78"},{"key":"6_CR6","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'93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39\u201349. Also IRSTTechnical Report 9211-20, IRST, Trento, Italy.","journal-title":"Epistemologia, special issue on I Linguaggi e le Macchine"},{"key":"6_CR7","first-page":"363","volume-title":"IRST-Technical Report 9607-12","author":"F. Giunchiglia","year":"1997","unstructured":"F. Giunchiglia and C. Ghidini. A Local Models Semantics for Propositional Attitudes. In Proceedings of the 1st International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97), pages 363\u2013372, Rio de Jeneiro, Brazil, 1997. Also IRST-Technical Report 9607-12, IRST, Trento, Italy."},{"key":"6_CR8","first-page":"282","volume-title":"Local Models Semantics, or Contextual Reasoning = Locality + Compatibility","author":"F. Giunchiglia","year":"1998","unstructured":"F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 282\u2013289, Trento, 1998. Morgan Kaufmann. Short version presented at the AAAI Fall 1997 symposium on context in KR and NL. Also IRST-Technical Report 9701-07, IRST, Trento, Italy."},{"key":"6_CR9","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. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.","journal-title":"Artificial Intelligence"},{"key":"6_CR10","first-page":"548","volume-title":"Non-Omniscient Belief as Context-Based Reasoning","author":"F. Giunchiglia","year":"1993","unstructured":"F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 548\u2013554, Chambery, France, 1993. Also IRSTTechnical Report 9206-03, IRST, Trento, Italy."},{"key":"6_CR11","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962."},{"key":"6_CR12","unstructured":"A. P. Martinich. The philosophy of language. Oxford University Press, 1985."},{"key":"6_CR13","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":"6_CR14","doi-asserted-by":"crossref","unstructured":"B. Russell. On denoting. Mind, XIV, 1905.","DOI":"10.1093\/mind\/XIV.4.479"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methodology, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T12:15:37Z","timestamp":1555762537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649939","9783540497936"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0057435","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}