{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:31:31Z","timestamp":1747463491008},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672005"},{"type":"electronic","value":"9783540464679"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10719619_16","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T01:02:53Z","timestamp":1167354173000},"page":"218-232","source":"Crossref","is-referenced-by-count":13,"title":["Open Multi-Agent Systems: Agent Communication and Integration"],"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 C.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"America, P.H.M., de Bakker, J., Kok, J.N., Rutten, J.: Operational semantics of a parallel object-oriented language. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, pp. 194\u2013208 (1986)","DOI":"10.1145\/512644.512662"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF01215408","volume":"6","author":"P.H.M. America","year":"1994","unstructured":"America, P.H.M., de Boer, F.S.: Reasoning about dynamically evolving process structures. Formal Aspects of Computing\u00a06, 269\u2013316 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"16_CR3","first-page":"25","volume-title":"Proceedings of International Conference on Multi-Agent Systems (ICMAS 1995)","author":"F. Brazier","year":"1995","unstructured":"Brazier, F., Dunin-Keplicz, B., Jennings, N., Treur, J.: Formal specification of multi-agent systems: a real-world case. In: Proceedings of International Conference on Multi-Agent Systems (ICMAS 1995), pp. 25\u201332. MIT Press, Cambridge (1995)"},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. Clark","year":"1986","unstructured":"Clark, K., Gregory, S.: Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems\u00a08(1), 1\u201349 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR5","first-page":"293","volume-title":"Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI 1998)","author":"R.M. Eijk van","year":"1998","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Systems of communicating agents. In: Prade, H. (ed.) Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI 1998), Brighton, UK, pp. 293\u2013297. John Wiley & Sons, Chichester (1998)"},{"key":"16_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-49057-4_3","volume-title":"Intelligent Agents V. Agents Theories, Architectures, and Languages","author":"R.M. Eijk van","year":"1999","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Information-passing and belief revision in multi-agent systems. In: Rao, A.S., Singh, M.P., M\u00fcller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol.\u00a01555, pp. 29\u201345. Springer, Heidelberg (1999)"},{"key":"16_CR7","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of FirstWorkshop on Agent Communication Languages","author":"R.M. Eijk van","year":"2000","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Operational semantics for agent communication languages. In: Proceedings of First Workshop on Agent Communication Languages. LNCS (LNAI). Springer, Heidelberg (2000)"},{"key":"16_CR8","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","DOI":"10.1007\/10719619_15","volume-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","author":"J. Ferber","year":"2000","unstructured":"Ferber, J., Gutknecht, O.: Operational semantics of a role-based agent architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol.\u00a01757, Springer, Heidelberg (2000)"},{"key":"16_CR9","unstructured":"Finin, T., McKay, D., Fritzson, R., McEntire, R.: KQML: An Information and Knowledge Exchange Protocol. In: Fuchi, K., Yokoi, T. (eds.) Knowledge Building and Knowledge Sharing. Ohmsha and IOS Press (1994)"},{"key":"16_CR10","volume-title":"Knowledge in flux: Modelling the dynamics of epistemic states","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in flux: Modelling the dynamics of epistemic states. Bradford Books,S MIT, Cambridge (1988)"},{"issue":"1","key":"16_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguistics and Philosophy\u00a014(1), 39\u2013100 (1991)","journal-title":"Linguistics and Philosophy"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Groenendijk, J., Stokhof, M.: Questions. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 1055\u20131124. Elsevier, Amsterdam. MIT Pess, Cambridge (1997)","DOI":"10.1016\/B978-044481714-3\/50024-2"},{"key":"16_CR13","volume-title":"Formal Ontology in Conceptual Analysis and Knowledge Representation","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"16_CR14","unstructured":"Hewitt, C., de Jong, P.: Analyzing the roles of descriptions and actions in open systems. In: Proceedings of 3rd National Conference on Artificial Intelligence (AAAI 1983), Washington, D.C., pp. 162\u2013167 (1983)"},{"key":"16_CR15","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BFb0026761","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"K.V. Hindriks","year":"1998","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A formal semantics for an abstract agent programming language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol.\u00a01365, pp. 215\u2013229. Springer, Heidelberg (1998)"},{"issue":"8","key":"16_CR16","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"16_CR17","unstructured":"Kamp, H.: A theory of truth and semantic interpretation. In: Groenendijk, J., Janssen, T., Stokhof, M. (eds.) Formal Methods in the Study of Language, pp. 277\u2013322. Mathematical Centre, Amsterdam (1981)"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walke, D.: A calculus of mobile processes. Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/BFb0026766","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M.H. Nodine","year":"1998","unstructured":"Nodine, M.H., Unruh, A.: Facilitating open communication in agent systems: The infosleuth infrastructure. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 281\u2013295. Springer, Heidelberg (1998)"},{"key":"16_CR20","unstructured":"Plotkin, G.: A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)"},{"key":"16_CR21","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), Cambridge, Massachusettes, pp. 473\u2013484 (1991)"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M.: Concurrent constraint programming. In: Proceedings of Seventeenth ACM Symposium on Principles of Programming Languages, pp. 232\u2013245 (1990)","DOI":"10.1145\/96709.96733"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1109\/ICMAS.1998.699287","volume-title":"Proceedings 3rd International Conference on Multi-Agent Systems (ICMAS 1998)","author":"O. Shehory","year":"1998","unstructured":"Shehory, O., Sycara, K., Chalasani, P., Jha, S.: Agent cloning. In: Proceedings 3rd International Conference on Multi-Agent Systems (ICMAS 1998), pp. 463\u2013464. IEEE Computer Society, Los Alamitos (1998)"},{"key":"16_CR24","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060, 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"16_CR25","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.: Intelligent agents: theory and practice. The Knowledge Engineering Review\u00a010(2), 115\u2013152 (1995)","journal-title":"The Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VI. Agent Theories, Architectures, and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10719619_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:14:07Z","timestamp":1556018047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10719619_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672005","9783540464679"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/10719619_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}