{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:23:01Z","timestamp":1768555381225,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540657132","type":"print"},{"value":"9783540490579","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49057-4_3","type":"book-chapter","created":{"date-parts":[[2007,4,28]],"date-time":"2007-04-28T04:08:08Z","timestamp":1177733288000},"page":"29-45","source":"Crossref","is-referenced-by-count":9,"title":["Information-Passing and Belief Revisionin Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Rogier M.","family":"van Eijk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60:109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"F. Brazier, B. Dunin-Keplicz, N. Jennings, and J. Treur. Formal specification of multi-agent systems: a real-world case. In Proceedings of International Conference on Multi-Agent Systems (ICMAS\u201995), pages 25\u201332. MIT Press, 1995.","DOI":"10.1007\/3-540-58855-8_6"},{"key":"3_CR3","unstructured":"G. Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proceedings International Joint Conference on Artificial Intelligence, pages 1043\u20131048. Morgan Kaufmann, 1989."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. Cohen","year":"1990","unstructured":"P. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213\u2013261, 1990.","journal-title":"Artificial Intelligence"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. Non-monotonic concurrent constraint programming. In Proceedings of the International Logic Programming Symposium, pages 315\u2013333, Vncouver Canada, 1993.","DOI":"10.1007\/978-1-4471-3421-3_9"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"R. M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. A language for modular information-passing agents. Technical report UU-CS-1997-16, Universiteit Utrecht, Department of Computer Science, 1997.","DOI":"10.1016\/S1571-0661(05)80589-4"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"R. M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Constructing translations between individual vocabularies in multi-agent systems. In F. Giunchiglia, editor, Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA\u201998), volume 1480 of Lecture Notes in Artificial Intelligence, pages 240\u2013253, Sozopol, Bulgaria, 1998. Springer-Verlag.","DOI":"10.1007\/BFb0057449"},{"key":"3_CR8","unstructured":"R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Systems of communicating agents. In Henri Prade, editor, Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI-98), pages 293\u2013297, Bighton, UK, 1998. John Wiley &Sons, Ltd."},{"key":"3_CR9","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Intelligent Agents V \u2014 Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98)","author":"J. Engelfriet","year":"1999","unstructured":"J. Engelfriet, C. M. Jonker, and J. Treur. Compositional verification of multiagent systems in temporal multi-epistemic logic. In J. P. M\u00fcller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V \u2014 Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume."},{"key":"3_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Proceedings of First International Conference on Temporal Logic (ICTL\u201994)","author":"M. Fisher","year":"1994","unstructured":"M. Fisher. A survey of concurrent MetateM-the language and its applications. In Proceedings of First International Conference on Temporal Logic (ICTL\u201994), volume 827 of LNCS, pages 480\u2013505. Springer-Verlag, 1994."},{"key":"3_CR11","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Intelligent Agents V \u2014 Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98)","author":"M. Fisher","year":"1999","unstructured":"M. Fisher. Representing abstract agent architectures. InJ. P. M\u00fcller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V \u2014 Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. A formal semantics for an abstract agent programming language. In M.P. Singh, A. Rao, and M.J. Wooldridge, editors, Proceedings of Fourth International Workshop on Agent Theories, Architectures and Languages (ATAL\u201997), volume 1365 of LNAI, pages 215\u2013229. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0026761"},{"issue":"8","key":"3_CR13","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666\u2013677, 1978.","journal-title":"Communications of the ACM"},{"key":"3_CR14","unstructured":"H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge base and revising it. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991), pages 387\u2013394, Massachusetts, 1991. Morgan Kaufmann."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Y. Lesp\u00e9rance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl. Foundations of a logical approach to agent programming. In Proceedings of IJCAI\u201995 International Workshop on Agent Theores, Architectures and Languages (ATAL\u201995), volume 1037 of LNAI, pages 331\u2013346. Springer-Verlag, 1996.","DOI":"10.1007\/3540608052_76"},{"key":"3_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/3-540-60437-5_40","volume-title":"Topics in Artificial Intelligence (Proc. AHA\u2019 95)","author":"B. Linder van","year":"1995","unstructured":"B. van Linder, W. van der Hoek, and J.-J.Ch. Meyer. Seeing is believing-and so are hearing and jumping. In Topics in Artificial Intelligence (Proc. AHA\u2019 95), volume 992 of LNCS, pages 402\u2013423. Springer-Verlag, 1995."},{"key":"3_CR17","unstructured":"G. Plotkin. A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Anand S. Rao. Agentspeak(L): BDI agents speak out in a logical computable language. In W. van der Velde and J.W. Perram, editors, Agents Breaking Away, volume 1038 of LNAI, pages 42\u201355. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0031845"},{"key":"3_CR19","unstructured":"A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991), pages 473\u2013484, Cambridge, Massachusettes, 1991."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat and M. Rinard. Concurrent constraint programming. In Proceedings of Seventeenth ACM Symposium on Principles of Programming Languages, pages 232\u2013245, 1990.","DOI":"10.1145\/96709.96733"},{"key":"3_CR21","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Intelligent Agents V \u2014 Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98)","author":"K. Schild","year":"1999","unstructured":"K. Schild. On the relationship between BDI logics and standard logics of concurrency. In J. P. M\u00fcller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V \u2014 Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume."},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"3_CR23","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Intelligent Agents V \u2014 Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98)","author":"N. Skarmeas","year":"1999","unstructured":"N. Skarmeas and K. L. Clark. Content based routing as the basis for intra-agent communication. In J. P. M\u00fcller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V \u2014 Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume."},{"key":"3_CR24","volume-title":"A First Course in Database Systems","author":"J.D. Ullman","year":"1997","unstructured":"J.D. Ullman and J. Widom. A First Course in Database Systems. Prentice Hall, New Jersey, 1997."},{"issue":"2","key":"3_CR25","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"M. Wooldridge and N. Jennings. Intelligent agents: theory and practice. The Knowledge Engineering Review, 10(2):115\u2013152, 1995.","journal-title":"The Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents V: Agents Theories, Architectures, and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49057-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T15:19:37Z","timestamp":1556378377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49057-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657132","9783540490579"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-49057-4_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}