{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:21:38Z","timestamp":1725488498669},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424222"},{"type":"electronic","value":"9783540446316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44631-1_2","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T02:24:08Z","timestamp":1186453448000},"page":"15-30","source":"Crossref","is-referenced-by-count":1,"title":["Updating Mental States from Communication"],"prefix":"10.1007","author":[{"given":"A.F.","family":"Dragoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Giorgini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Serafini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1080\/11663081.1995.10510843","volume":"5","author":"C. Aravindan","year":"1995","unstructured":"C. Aravindan and P.M. Dung. Knowledge revision, abduction and database updates. Journal of Applied Non-Classical Logics, 5(1):51\u201376, 1995.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"3","key":"2_CR2","first-page":"401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational&Logical Aspects of Multi-Agent Systems, 8(3):401\u2013423, 1998.","journal-title":"Journal of Logic and Computation, Special Issue on Computational&Logical Aspects of Multi-Agent Systems"},{"key":"2_CR3","unstructured":"A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS-95), pages 57\u201364, 1996."},{"issue":"3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0364-0213(79)80006-3","volume":"3","author":"P.R. Cohen","year":"1979","unstructured":"P.R. Cohen and C.R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3(3):177\u2013212, 1979.","journal-title":"Cognitive Science"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"A.F. Dragoni and P. Giorgini. Revising beliefs received from multiple source. InMA Williams and H Rott, editors, Frontiers of Belief Revision, Applied Logic. Kluwer, 2000.","DOI":"10.1007\/978-94-015-9817-0_22"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"F. Dignum B. Dunin-Keplicz and R. Verbrugge. Agent theory for team formation by dialogue. In C. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. Springer Verlag, 2001.","DOI":"10.1007\/3-540-44631-1_11"},{"key":"2_CR7","unstructured":"P. G\u00e4rdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press., Cambridge Mass., 1988."},{"key":"2_CR8","unstructured":"M. Georgeff. Communication and interaction in multiagent planning. In Proceedings of the 3th National Conference on Artificial Intelligence, pages 125\u2013129, 1983."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"C. Ghidini. Modelling (Un)Bounded Beliefs. In P. Bouquet, L. Serafini, P. Brezillon, M. Benerecetti, and F. Castellani, editors, Modelling and Using Context-Proceedings of the 2nd International and Interdisciplinary Conference, Context\u201999, volume 1688of LNAI, pages 145\u2013158. Springer Verlag-Heidelberg, 1999.","DOI":"10.1007\/3-540-48315-2_12"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"E. Giunchiglia and F. Giunchiglia. Ideal and Real Belief about Belief. Journal of Logic and Computation, 2000. To appear.","DOI":"10.1093\/logcom\/11.1.157"},{"key":"2_CR11","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.","journal-title":"Epistemologia, special issue on I Linguaggi e le Macchine"},{"key":"2_CR12","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\u201998), pages 282\u2013289. Morgan Kaufmann, 1998."},{"key":"2_CR13","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.","journal-title":"Artificial Intelligence"},{"key":"2_CR14","unstructured":"P.J. Gmytrasiewicz and E.H. Durfe. A rigorous, operational formalization of recursive modeling. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS), pages 125\u2013132, 1995."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.J.Ch. Meyer. Semantics of communicating agents based on deduction and abduction. In Proceedings of IJCAI\u201999 Workshop on ACL, 1999.","DOI":"10.1007\/10722777_5"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(92)90073-7","volume":"53","author":"K. Konolige","year":"1992","unstructured":"K. Konolige. Abduction versus closure in causal theories. Artificial Intelligence, 53:255\u2013272, 1992.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"2_CR17","doi-asserted-by":"crossref","first-page":"319","DOI":"10.3233\/FI-1996-27403","volume":"27","author":"J. Lobo","year":"1996","unstructured":"J. Lobo and C. Uzc\u00e1tegui. Abductive change oprators. Fundamenta Informaticae, 27(4):319\u2013418, 1996.","journal-title":"Fundamenta Informaticae"},{"key":"2_CR18","unstructured":"J.S. Rosenschein M.R. Gensereth, M.L. Ginsberg. Cooperation without communication. In AAAI 86, pages 51\u201357, 1986."},{"key":"2_CR19","unstructured":"T.J. Norman and C. Reed. Delegation and respnsability. InC. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh InternationalWorkshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. Springer Verlag, 2001."},{"key":"2_CR20","unstructured":"M. Pagnucco and N.Y. Foo. The relationship between abduction and changes in belief states. In Proceedings of the ICLP93 PostconferenceWorkshop on Abductive Reasoning, pages 75\u201383, Budapest, Hungary, 1993."},{"key":"2_CR21","unstructured":"M. Pagnucco, A.C. Nayak, and N.Y. Foo. Abductive expansion: The application of abductive inference to the process of belief change. In Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence, pages 70\u201377, Armidale, Australia, 1994."},{"key":"2_CR22","unstructured":"M. Pagnucco, A.C. Nayak, and N.Y. Foo. Abductive reasoning, belief expansion and nonmonotonic consequence. In Proceedings of the ICLP\u201995 Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledgebased Systems, pages 143\u2013158, Shonan Village Center, Japan, 1995."},{"key":"2_CR23","unstructured":"A.S. Rao and M. Georgeff. BDI agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312\u2013319, S. Francisco, CA, 1995."},{"key":"2_CR24","unstructured":"A.S. Rao, M. Georgeff, and E.A. Sonenberg. Social plans:A preliminary report. In E. Werner and Y. Demazeau, editors, Decentralized AI-Proceedings of the Third European Workshop on Modeling Autonomous Agents in a Multi-AgentWorld (MAAMAW-91), pages 57\u201376, Amsterdam, The Netherlands, 1992. Elsevier Science Publishers B.V."},{"key":"2_CR25","unstructured":"J.S. Rosenschein and M.R. Genesereth. Communication and cooperation. Stanford Heuristic Programming Rep, 1984."},{"key":"2_CR26","unstructured":"J.R. Searle and D. Vanderveken. Foundations of illuctionary Logic. Cambridge University Press, 1985."},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"S. Shapiro and Y. Lesp\u00e9rance. Modelling multiagent systems with casl-a feature interaction resolution application. In C. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. Springer Verlag, 2001.","DOI":"10.1007\/3-540-44631-1_17"},{"key":"2_CR28","unstructured":"E. Werner. Toward a theory of communication and cooperation for multiagent planning. In Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, Los Altos, CA, 1988. Morgan Kaufmann Publisher."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"M. Wooldridge and P.E. Dunne. Optimistic and disjunctive agent design problems. In C. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. SpringerVerlag, 2001.","DOI":"10.1007\/3-540-44631-1_1"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"S. Zimmerbaum and R. Scherl. Sensing actions, time, and concurrency in the situation calculus. In C. Castelfranchi and Y. Lesperance, editors, Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI. Springer Verlag, 2001.","DOI":"10.1007\/3-540-44631-1_3"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VII Agent Theories Architectures and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44631-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T17:19:49Z","timestamp":1587835189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44631-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424222","9783540446316"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-44631-1_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}