{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:51Z","timestamp":1725664551533},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604372"},{"type":"electronic","value":"9783540474685"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60437-5_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:30:11Z","timestamp":1330281011000},"page":"414-425","source":"Crossref","is-referenced-by-count":0,"title":["Agents as reasoners, observers or believers"],"prefix":"10.1007","author":[{"name":"Mechanized Reasoning Group","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Giunchiglia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fausto","family":"Giunchiglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"41_CR1","unstructured":"A. Avron. Simple consequence relations. LFCS Report Series, Laboratory for the Foundations of Computer Science, Computer Science Department, University of Edinburgh, 1987."},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"R. Bull and K. Segerberg. Basic Modal Logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume III, pages 1\u201388. D. Reidel Publishing Company, 1984.","DOI":"10.1007\/978-94-009-6259-0_1"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"B. F. Chellas. Modal Logic \u2014 an Introduction. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"41_CR4","unstructured":"L. G. Creary. Prepositional Attitudes: Fregean representation and simulative reasoning. In Proc. of the 6th International Joint Conference on Artificial Intelligence, pages 176\u2013181, 1979."},{"key":"41_CR5","doi-asserted-by":"crossref","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":"41_CR6","unstructured":"R. Fagin, J.Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. Stanford Bookstore, 1992."},{"key":"41_CR7","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":"41_CR8","doi-asserted-by":"crossref","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":"41_CR9","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":"41_CR10","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0004-3702(86)90051-2","volume":"28","author":"A. R. Haas","year":"1986","unstructured":"A. R. Haas. A Syntactic Theory of Belief and Action. Artificial Intelligence, 28:245\u2013292, 1986.","journal-title":"Artificial Intelligence"},{"key":"41_CR11","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":"41_CR12","unstructured":"H. Levesque. A logic of implicit and explicit belief. In AAAI-84, pages 198\u2013202, 1984."},{"key":"41_CR13","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":"41_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":"41_CR15","unstructured":"Y. Wilks and J. Biem. Speech acts and multiple environments. In Proc. of the 6th International Joint Conference on Artificial Intelligence, 1979."}],"container-title":["Lecture Notes in Computer Science","Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60437-5_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:17Z","timestamp":1605646757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60437-5_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604372","9783540474685"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60437-5_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}