{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:30:08Z","timestamp":1736487008305,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645825"},{"type":"electronic","value":"9783540693482"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64582-9_784","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:22:10Z","timestamp":1153146130000},"page":"528-537","source":"Crossref","is-referenced-by-count":0,"title":["A contextual model of beliefs for communicating agents"],"prefix":"10.1007","author":[{"given":"Pierre E.","family":"Bonzon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"53_CR1","unstructured":"J. Barklund, K. Boberg, P.Dell'Acqua and M.Veanes, Meta-Programming with Theory Systems, in: Meta-Logics and Logic Programming, K. Apt and F. Turini (eds.), MIT Press 1995"},{"key":"53_CR2","unstructured":"P. Bonzon, A Reflective Proof System for Reasoning in Contexts, Proc. 14th Natl. Conf. on Artificial Intelligence (AAA197), 1997"},{"key":"53_CR3","doi-asserted-by":"crossref","unstructured":"S.Buvac, V.Buvac and I.A. Mason, Metamathematics of contexts, Fundamenta Informaticae 23 (3),1995","DOI":"10.3233\/FI-1995-232345"},{"key":"53_CR4","unstructured":"S. Buvac, Quantificational Logic of Context, Proc. 13th Natl. Conf. on Artificial Intelligence (AAA196), 1996"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Halpern, Y Moses and M. Vardi, Reasoning About Knowledge, MIT Press, 1995","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"53_CR6","unstructured":"Y.J. Jiang, On Multiagent Autoepsitemic Logic-an extrospetive view, Proc. 4th Intl. Conf. On Principles of Knowledge Representation and Reasoning (KR'94)"},{"key":"53_CR7","unstructured":"M. Kalsbeek and Y. Jiang, A Vademecum of Ambivalent Logic, in: Meta-Logics and Logic Programming, K. Apt and F. Turini (eds.), MIT Press 1995"},{"key":"53_CR8","unstructured":"J. McCarthy, Notes on Formalizing Context, Proc. 13th Intl. Join Conf. on Artificial Intelligence (IJCAI93), 1993"},{"key":"53_CR9","doi-asserted-by":"crossref","unstructured":"A.S. Rao, AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language, in: Agents Breaking Away (MAAMAW '96), W. Van der Velde and J.W. Perram (eds), LNAI (vol 1038), Springer Verlag, 1996","DOI":"10.1007\/BFb0031845"},{"key":"53_CR10","doi-asserted-by":"crossref","unstructured":"Y. Shoham, Agent-Oriented Programming, Artificial Intelligence, 60, 1993","DOI":"10.1016\/0004-3702(93)90034-9"}],"container-title":["Lecture Notes in Computer Science","Methodology and Tools in Knowledge-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64582-9_784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T22:48:53Z","timestamp":1736462933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64582-9_784"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645825","9783540693482"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-64582-9_784","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}