{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:59Z","timestamp":1725664019818},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540588559"},{"type":"electronic","value":"9783540491293"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58855-8_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:51:56Z","timestamp":1330275116000},"page":"71-85","source":"Crossref","is-referenced-by-count":16,"title":["Multi-agent reasoning with belief contexts: the approach and a case study"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Cimatti","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"4_CR1","unstructured":"L. Carlucci Aiello, D. Nardi, and M. Schaerf. Reasoning about knowledge and ignorance. In International Conference of 5th Generation Computer System, pages 618\u2013627, Tokyo, 1988."},{"key":"4_CR2","unstructured":"L. G. Creary. Propositional Attitudes: Fregean representation and simulative reasoning. In Proc. of the 6th International Joint Conference on Artificial Intelligence, pages 176\u2013181, 1979."},{"key":"4_CR3","volume-title":"Technical Report 9403-02","author":"G. Criscuolo","year":"1994","unstructured":"G. Criscuolo, F. Giunchiglia, and L. Serafini. A Foundation of Metalogical Reasoning: OM pairs (Propositional Case). Technical Report 9403-02, IRST, Trento, Italy, 1994."},{"key":"4_CR4","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":"4_CR5","unstructured":"F. Giunchiglia. GETFOL: Interactive Multicontext Theorem Proving (abstract). In Proceedings of IJCAI-93 Workshop on Automated Theorem Proving, page 43, Chambery, France, 1993."},{"key":"4_CR6","volume-title":"Technical Report 9301-07","author":"F. Giunchiglia","year":"1993","unstructured":"F. Giunchiglia and L. Serafini. On the Proof Theory of Hierarchical Meta-Logics. Technical Report 9301-07, IRST, Trento, Italy, 1993."},{"key":"4_CR7","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":"4_CR8","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":"4_CR9","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":"4_CR10","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962."},{"volume-title":"Formal Theories of Commonsense World","year":"1985","key":"4_CR11","unstructured":"J.R. Hobbs and R.C. Moore, editors. Formal Theories of Commonsense World. Ablex Publishing Corporation, Norwood, New Jersey, 1985."},{"key":"4_CR12","volume-title":"PhD thesis","author":"K. Konolige","year":"1984","unstructured":"K. Konolige. A deduction model of belief and its logics. PhD thesis, Stanford University CA, 1984."},{"key":"4_CR13","unstructured":"J. McCarthy. Formalization of Two Puzzles Involving Knowledge. In V. Lifschitz, editor, Formalizing Common Sense \u2014 Papers by John McCarthy, pages 158\u2013166. Ablex Publishing Corporation, 1990."},{"key":"4_CR14","unstructured":"R.C. Moore. The role of logic in knowledge representation and commonsense reasoning. In National Conference on Artificial Intelligence. AAAI, 1982."},{"key":"4_CR15","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."},{"issue":"1","key":"4_CR16","doi-asserted-by":"crossref","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"},{"key":"4_CR17","unstructured":"R.W. Weyhrauch, M. Cadoli, and C. L. Talcott. Using Abstract Resources to Control Reasoning. August 1994."}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58855-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:15Z","timestamp":1619572875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58855-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540588559","9783540491293"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58855-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}