{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:50:59Z","timestamp":1725475859120},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411444"},{"type":"electronic","value":"9783540400288"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722777_6","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T20:53:34Z","timestamp":1167512014000},"page":"80-95","source":"Crossref","is-referenced-by-count":9,"title":["Operational Semantics for Agent Communication Languages"],"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":"6_CR1","first-page":"194","volume-title":"Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages","author":"P.H.M. America","year":"1986","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, pp. 194\u2013208. St. Petersburg Beach, Florida (1986)"},{"key":"6_CR2","unstructured":"Andrews, G.R.: Concurrent Programming, Principles and Practice. The Benjamin\/Cummings Publishing Company, Inc., Redwood City (1991)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/2080.357392","volume":"2","author":"A.D. Birrell","year":"1984","unstructured":"Birrell, A.D., Nelson, B.J.: Implementing remote procedure calls. ACM Transactions on Computer Systems\u00a02, 39\u201359 (1984)","journal-title":"ACM Transactions on Computer Systems"},{"key":"6_CR4","unstructured":"Cohen, P., Levesque, H.: Communicative actions for arti cial agents. In: Proceedings of the First International Conference on Multi-Agent Systems (1995)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Colombetti, M.: Semantic, normative and practical aspects of agent communication. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916. Springer, Heidelberg (2000)","DOI":"10.1007\/10722777_2"},{"key":"6_CR6","first-page":"273","volume-title":"CWI Quarterly, Special issue on Constraint Programming","author":"R.M. Eijk van","year":"1998","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A language for modular information-passing agents. In: Apt, K.R. (ed.) CWI Quarterly, Special issue on Constraint Programming, vol.\u00a011, pp. 273\u2013297. CWI, Amsterdam (1998)"},{"key":"6_CR7","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, Ltd., Chichester (1998)"},{"key":"6_CR8","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":"6_CR9","doi-asserted-by":"crossref","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Open multi-agent systems: Agent communication and integration. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol.\u00a01757. Springer, Heidelberg (2000)","DOI":"10.1007\/10719619_16"},{"key":"6_CR10","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\/IOS Press (1994)"},{"key":"6_CR11","unstructured":"Foundation For Intelligent Physical Agents. Fipa 1997 specification part 2 \u2013 agent communication language (Version dated October 10, 1997)"},{"key":"6_CR12","unstructured":"G\u00e4rdenfors, P.: Knowledge in ux: Modelling the dynamics of epistemic states. Bradford books. MIT, Cambridge (1988)"},{"key":"6_CR13","series-title":"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)"},{"key":"6_CR14","unstructured":"Plotkin, G.: A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Thomsen, B.: A calculus of higher order communicating systems. In: Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages, pp. 143\u2013153 (1989)","DOI":"10.1145\/75277.75290"},{"issue":"2","key":"6_CR16","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","Issues in Agent Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722777_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T01:38:07Z","timestamp":1552613887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722777_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411444","9783540400288"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/10722777_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}