{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:29Z","timestamp":1725558989451},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250159"},{"type":"electronic","value":"9783540322580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32258-0_12","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T20:17:24Z","timestamp":1278361044000},"page":"173-192","source":"Crossref","is-referenced-by-count":2,"title":["Agent Interaction Semantics by Timed Operating Instructions"],"prefix":"10.1007","author":[{"given":"Mirko","family":"Viroli","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Ricci","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"286","volume-title":"3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004)","author":"A. Omicini","year":"2004","unstructured":"Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol.\u00a01, pp. 286\u2013293. ACM, New York (2004)"},{"key":"12_CR2","unstructured":"FIPA: FIPA communicative act library specification. Doc. XC00037H (2000), http:\/\/www.fipa.org"},{"key":"12_CR3","unstructured":"Pitt, J., Mamdani, E.: A protocol-based semantics for an agent communication language. In: IJCAI 1999, pp. 486\u2013491 (1999)"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/860575.860660","volume-title":"Proceedings of AAMAS 2003","author":"M. Verdicchio","year":"2003","unstructured":"Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Proceedings of AAMAS 2003, pp. 528\u2013535. ACM Press, New York (2003)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/10722777_3","volume-title":"Issues in Agent Communication","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 31\u201345. Springer, Heidelberg (2000)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1018980001403","volume":"75","author":"V.D. Parunak","year":"1997","unstructured":"Parunak, V.D.: \u2018Go To The Ant\u2019: Engineering principles from natural agent systems. Annals of Operations Research\u00a075, 69\u2013101 (1997)","journal-title":"Annals of Operations Research"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A. Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Coordination for Internet application development. Journal of Autonomous Agents and Multi-Agent Systems\u00a02, 251\u2013269 (1999)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"12_CR8","volume-title":"Context and Consciousness: Activity Theory and Human-Computer Interaction","author":"B.A. Nardi","year":"1996","unstructured":"Nardi, B.A.: Context and Consciousness: Activity Theory and Human-Computer Interaction. MIT Press, Cambridge (1996)"},{"key":"12_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/3-540-39173-8_8","volume-title":"Engineering Societies in the Agents World III","author":"A. Ricci","year":"2003","unstructured":"Ricci, A., Omicini, A., Denti, E.: Activity Theory as a framework for MAS coordination. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol.\u00a02577, pp. 96\u2013110. Springer, Heidelberg (2003)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1080\/08839510490509036","volume":"18","author":"A. Omicini","year":"2004","unstructured":"Omicini, A., Ricci, A., Viroli, M., Cioffi, M., Rimassa, G.: Multi-agent infrastructures for objective and subjective coordination. Applied Artificial Intelligence\u00a018, 815\u2013831 (2004); Special Issue: Best papers from EUMAS 2003: The 1st European Workshop on Multi-agent Systems.","journal-title":"Applied Artificial Intelligence"},{"key":"12_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-32258-0_16","volume-title":"Agent Communication","author":"S.M. Khan","year":"2005","unstructured":"Khan, S.M., Lesp\u00e9rance, Y.: A model of rational agency for communicating agents. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol.\u00a03396, pp. 242\u2013259. Springer, Heidelberg (2005)"},{"key":"12_CR12","first-page":"102","volume-title":"3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004)","author":"M. Viroli","year":"2004","unstructured":"Viroli, M., Ricci, A.: Instructions-based semantics of agent mediated interaction. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol.\u00a01, pp. 102\u2013110. ACM, New York (2004)"},{"key":"12_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"12_CR14","first-page":"221","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A dialogue game protocol for agent purchase negotiations. A Process Algebra for Timed Systems\u00a0117, 221\u2013239 (1995)","journal-title":"A Process Algebra for Timed Systems"},{"key":"#cr-split#-12_CR15.1","unstructured":"Viroli, M., Ricci, A., Omicini, A.: A semantics for the interaction of agents with coordination artifacts. In: Cybernetics and Systems 2004, vol.??2, pp. 564???569 (2004);"},{"key":"#cr-split#-12_CR15.2","unstructured":"Workshop AT2AI 2004"},{"key":"#cr-split#-12_CR16.1","unstructured":"Ricci, A., Viroli, M., Omicini, A.: Agent coordination context: From theory to practice. In: Cybernetics and Systems 2004. vol. 2, pp. 618???623. Austrian Society for Cybernetic Studies (2004);"},{"key":"#cr-split#-12_CR16.2","unstructured":"Workshop AT2AI (2004)"},{"key":"12_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-32258-0_14","volume-title":"Agent Communication","author":"P. McBurney","year":"2005","unstructured":"McBurney, P., Parsons, S.: Locutions for argumentation in agent interaction protocols. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol.\u00a03396, pp. 209\u2013225. Springer, Heidelberg (2005)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-45220-1_39","volume-title":"Computer Science Logic","author":"M. Sato","year":"2003","unstructured":"Sato, M., Sakurai, T., Kameyama, Y., Igarashi, A.: Calculi of meta-variables. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 484\u2013497. Springer, Heidelberg (2003)"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra","author":"R.v. Glabbeek","year":"2001","unstructured":"Glabbeek, R.v.: The linear time \u2013 branching time spectrum I. The semantics of concrete, sequential processes. In: Handbook of Process Algebra, pp. 3\u2013100. North-Holland, Amsterdam (2001)"},{"key":"12_CR20","first-page":"3","volume-title":"Handbook of Process Algebra","author":"J. Baetene","year":"2001","unstructured":"Baetene, J., Middleburg, C.: Process algebra with timing: Real time and discrete time. In: Handbook of Process Algebra, pp. 3\u2013100. North-Holland, Amsterdam (2001)"},{"key":"#cr-split#-12_CR21.1","unstructured":"Ricci, A., Viroli, M., Omicini, A.: Agent coordination context: From theory to practice. In: Trappl, R. (ed.) Cybernetics and Systems 2004, Vienna, Austria, vol.??2, pp. 618???623. Austrian Society for Cybernetic Studies (2004);"},{"key":"#cr-split#-12_CR21.2","unstructured":"Proceedings of 17th European Meeting on Cybernetics and Systems Research (EMCSR 2004), Vienna, Austria, April 13???16 (2004)"},{"key":"12_CR22","first-page":"186","volume-title":"Proceedings of the 1st International Conference on Distributed Computing Systems","author":"R.G. Smith","year":"1979","unstructured":"Smith, R.G.: The contract net protocol: High-level communication and control in a distributed problem solver. In: Proceedings of the 1st International Conference on Distributed Computing Systems, pp. 186\u2013192. IEEE Computer Society, Washington D.C (1979)"},{"key":"12_CR23","series-title":"ENTCS","volume-title":"Proceedings of FOCLASA 2002","author":"M. Viroli","year":"2003","unstructured":"Viroli, M., Omicini, A.: Coordination as a service: Ontological and formal foundation. In: Proceedings of FOCLASA 2002. ENTCS, vol.\u00a068(3). Elsevier Science B.V., Amsterdam (2003)"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Labrou, Y., Finin, T.: Semantics and conversation for an agent communication language. In: 15th International Joint Conference on Artificial Intelligence (1997)","DOI":"10.1007\/BFb0026760"},{"key":"12_CR25","unstructured":"Colombetti, M.: A commitment-based approach to agent speech acts and conversations. In: Workshop on Agent Languages and Conversation Policies (2000)"},{"key":"12_CR26","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer\u00a031, 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/375735.376422","volume-title":"Internation Conference on Autonomous Agents","author":"J. Pitt","year":"2001","unstructured":"Pitt, J., Kamara, L., Artikis, A.: Interaction patterns and observable commitments in a multi-agent trading scenario. In: Internation Conference on Autonomous Agents, pp. 481\u2013488. ACM Press, New York (2001)"},{"key":"12_CR28","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1093\/logcom\/13.3.347","volume":"13","author":"S. Parsons","year":"2003","unstructured":"Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. Journal of Logic Computation\u00a013, 347\u2013376 (2003)","journal-title":"Journal of Logic Computation"},{"key":"12_CR29","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1023\/A:1024787301515","volume":"7","author":"P. McBurney","year":"2003","unstructured":"McBurney, P., van Eijk, R.M., Parsons, S., Amgoud, L.: A dialogue game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems\u00a07, 235\u2013273 (2003)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"12_CR30","series-title":"ENTCS","volume-title":"Proceedings of SecCo 2003","author":"A. Omicini","year":"2003","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Formal specification and enactment of security policies through Agent Coordination Contexts. In: Proceedings of SecCo 2003. ENTCS, vol.\u00a085(3). Elsevier Science B.V., Amsterdam (2003)"}],"container-title":["Lecture Notes in Computer Science","Agent Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32258-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T19:53:22Z","timestamp":1635623602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32258-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250159","9783540322580"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32258-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}