{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:40:27Z","timestamp":1725457227216},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540608523"},{"type":"electronic","value":"9783540496212"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0031842","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:09:38Z","timestamp":1134284978000},"page":"1-12","source":"Crossref","is-referenced-by-count":2,"title":["Ideal and real belief about belief: Some intuitions"],"prefix":"10.1007","author":[{"name":"Mechanized Reasoning Group","sequence":"first","affiliation":[]},{"given":"Fausto","family":"Giunchiglia","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"1_CR1","first-page":"480","volume-title":"A guide to the modal logics of knowledge and belief: preliminary draft","author":"J.Y. Halpern","year":"1985","unstructured":"J.Y. Halpern and Y. Moses. A guide to the modal logics of knowledge and belief: preliminary draft. In Proc. of the 9th International Joint Conference on Artificial Intelligence, pages 480\u2013490, Los Angeles, CA, 1985. Morgan Kaufmann Publ. Inc."},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"R. Fagin and J.Y. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34:39\u201376, 1988.","journal-title":"Artificial Intelligence"},{"key":"1_CR3","unstructured":"R. Fagin, J.Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. Stanford Bookstore, 1992."},{"key":"1_CR4","volume-title":"A deduction model of belief","author":"K. Konolige","year":"1986","unstructured":"K. Konolige. A deduction model of belief. Pitnam, London, 1986."},{"key":"1_CR5","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962."},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1111\/j.1467-8640.1988.tb00282.x","volume":"4","author":"A. Lansky","year":"1988","unstructured":"A. Lansky. Localized Event-Based Reasoning for Multiagent Domains. Computational Intelligence, 4:319\u2013339, 1988.","journal-title":"Computational Intelligence"},{"key":"1_CR7","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":"1_CR8","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 IRST-Technical Report 9211-20, IRST, Trento, Italy.","journal-title":"Epistemologia, special issue on I Linguaggi e le Macchine"},{"key":"1_CR9","unstructured":"H. Levesque. A logic of implicit and explicit belief. In AAAI-84, pages 198\u2013202, 1984."},{"key":"1_CR10","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 IRST-Technical Report 9206-03, IRST, Trento, Italy."},{"key":"1_CR11","first-page":"414","volume-title":"number 992 in LNAI","author":"E. Giunchiglia","year":"1995","unstructured":"E. Giunchiglia, F. Giunchiglia, and L. Serafini. Agents as Resasoners, Observers or Believers. In AI\n*\nIA 95, 4rd Congress of the Italian Association for Artificial Intelligence, number 992 in LNAI, pages 414\u2013425, Firenze, October 1995. Springer Verlag."},{"key":"1_CR12","unstructured":"Y. Wilks and J. Biem. Speech acts and multiple environments. In Proc. of the 6th International Joint Conference on Artificial Intelligence, 1979."},{"key":"1_CR13","unstructured":"F. Giunchiglia and R.W. Weyhrauch. A multi-context monotonic axiomatization of inessential non-monotonicity. In D. Nardi and P. Maes, editors, Meta-level architectures and Reflection, pages 271\u2013285. North Holland, 1988. Also DIST Technical Report 9105-02, DIST, University of Genova, Italy."},{"key":"1_CR14","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":"1_CR15","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, 1995. Also IRST-Technical Report 9412-09, IRST, Trento, Italy. To be presented at Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996."},{"key":"1_CR16","volume-title":"The GETFOL Manual \u2014 GETFOL version 1. Technical Report 92-0010","author":"F. Giunchiglia","year":"1992","unstructured":"F. Giunchiglia. The GETFOL Manual \u2014 GETFOL version 1. Technical Report 92-0010, DIST \u2014 University of Genova, Genoa, Italy, 1992."},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R.W. Weyhrauch","year":"1980","unstructured":"R.W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, 13(1):133\u2013176, 1980.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Agents Breaking Away"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031842","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T17:17:32Z","timestamp":1549473452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540608523","9783540496212"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0031842","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}