{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:42:58Z","timestamp":1725518578497},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876533"},{"type":"electronic","value":"9783540876540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87654-0_11","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T06:11:01Z","timestamp":1221891061000},"page":"208-223","source":"Crossref","is-referenced-by-count":11,"title":["Amongst First-Class Protocols"],"prefix":"10.1007","author":[{"given":"Tim","family":"Miller","sequence":"first","affiliation":[]},{"given":"Jarred","family":"McGinnis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/967900.967918","volume-title":"SAC 2004: Proceedings of the 2004 ACM symposium on Applied computing","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: SAC 2004: Proceedings of the 2004 ACM symposium on Applied computing, pp. 72\u201378. ACM Press, New York (2004)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36540-0_1","volume-title":"Agent-Oriented Software Engineering, 3rd International Workshop","author":"A. Artikis","year":"2003","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying electronic societies with the Causal Calculator. In: Giunchiglia, F., Odell, J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 1\u201315. Springer, Heidelberg (2003)"},{"key":"11_CR3","unstructured":"de Silva, L.P., Winikoff, M., Liu, W.: Extending agents by transmitting protocols in open systems. In: Proceedings of the Challenges in Open Agent Systems Workshop, Melbourne, Australia (2003)"},{"key":"11_CR4","unstructured":"Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: OWL-P: A methodology for business process modeling and enactment. In: Workshop on Agent Oriented Information Systems, pp. 50\u201357 (July 2005)"},{"key":"11_CR5","first-page":"962","volume-title":"Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence","author":"N. Desai","year":"2007","unstructured":"Desai, N., Singh, M.P.: A modular action description language for protocol composition. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, pp. 962\u2013967. AAAI Press, Menlo Park (2007)"},{"issue":"9\u201310","key":"11_CR6","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1080\/08839510490509054","volume":"18","author":"N. Fornara","year":"2004","unstructured":"Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence\u00a018(9\u201310), 853\u2013866 (2004)","journal-title":"Applied Artificial Intelligence"},{"issue":"5","key":"11_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2005.05.015","volume":"141","author":"M.W. Johnson","year":"2005","unstructured":"Johnson, M.W., McBurney, P., Parsons, S.: A mathematical model of dialog. Electronic Notes in Theoretical Computer Science\u00a0141(5), 33\u201348 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1015586128739","volume":"11","author":"P. McBurney","year":"2002","unstructured":"McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information\u00a011(3), 315\u2013334 (2002)","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1023\/A:1024787301515","volume":"7","author":"P. McBurney","year":"2002","unstructured":"McBurney, P., van Eijk, R., Parsons, S., Amgoud, L.: A dialogue-game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems\u00a07(3), 235\u2013273 (2002)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"11_CR10","unstructured":"McGinnis, J.: On the mutability of protocols. Phd thesis, University of Edinburgh, Edinburgh, Scotland (2006)"},{"key":"11_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-75524-1_14","volume-title":"Engineering Societies in the Agents World VII","author":"T. Miller","year":"2007","unstructured":"Miller, T., McBurney, P.: Using constraints and process algebra for specification of first-class agent interaction protocols. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 245\u2013264. Springer, Heidelberg (2007)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Miller, T., McBurney, P., McGinnis, J., Stathis, K.: First-class protocols for agent-based coordination of scientific instruments. In: 5th International Workshop on Agent-based Computing for Enterprise Collaboration (ACEC) Agent-Oriented Workflows and Services (to appear,2007)","DOI":"10.1109\/WETICE.2007.4407124"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Robertson, D.: Multi-agent coordination as distributed logic programming. In: Proceedings for International Conference on Logic Programming (2004)","DOI":"10.1007\/978-3-540-27775-0_29"},{"key":"11_CR14","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., Greaves, M. (eds.) Issues in Agent Communication, pp. 31\u201345. Springer, Heidelberg (2000)"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1023\/A:1010000313106","volume":"13","author":"C. Strachey","year":"2000","unstructured":"Strachey, C.: Fundamental concepts in programming languages. Higher-Order and Symbolic Computation\u00a013(1), 11\u201349 (2000)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Winikoff, M.: Implementing commitment-based interactions. In: Durfee, E.H., Yokoo, M., Huhns, M.N., Shehory, O. (eds.) 6th International Joint Conference on Autonomous Agents and Multiagent Systems, IFAAMAS, p. 128 (2007)","DOI":"10.1145\/1329125.1329283"},{"key":"11_CR17","series-title":"Lecture Notes in Artificial Intelligence","first-page":"235","volume-title":"Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages","author":"P. Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.P.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 235\u2013247. Springer, Heidelberg (2002)"},{"issue":"1\u20133","key":"11_CR18","first-page":"227","volume":"42","author":"P. Yolum","year":"2004","unstructured":"Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and AI\u00a042(1\u20133), 227\u2013253 (2004)","journal-title":"Annals of Mathematics and AI"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87654-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:44:05Z","timestamp":1619523845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87654-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876533","9783540876540"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87654-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}