{"type":"ScholarlyArticle","title":"Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict","authors":[{"name":"Munindar P. Singh","slug":"munindar-p-singh","given":"Munindar P.","family":"Singh","affiliation":"Department of Computer Science , North Carolina State University , Raleigh , NC 27695 , USA"},{"name":"Samuel H. Christie V.","slug":"samuel-h-christie-v","given":"Samuel H.","family":"Christie V.","affiliation":"Department of Computer Science , North Carolina State University , Raleigh , NC 27695 , USA"},{"name":"Amit K. Chopra","slug":"amit-k-chopra","given":"Amit K.","family":"Chopra","affiliation":"School of Computing and Communications , Lancaster University , Lancaster LA1 4WA , UK"}],"abstract":"Current languages for specifying multiagent protocols either over-constrain protocol enactments or complicate capturing their meanings.  We propose Langshaw, a declarative protocol language based on (1) sayso, a new construct that captures who has priority over setting each attribute, and (2) nono and nogo, two constructs to capture conflicts between actions.  Langshaw combines flexibility with an information model to express meaning.  We give a formal semantics for Langshaw, procedures for determining the safety and liveness of a protocol, and a method to generate a message-oriented protocol (embedding needed coordination) suitable for flexible asynchronous enactment.","doi":"10.24963/ijcai.2024/23","url":"https://ijcai.org/proceedings/2024/23","pdf":"https://ijcai.org/proceedings/2024/0023.pdf","markdown":"https://ijcai.org/proceedings/2024/23.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/23","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Agent-based and Multi-agent Systems","track":"Main Track","number":23,"pages":{"first":202,"last":210},"keywords":["Agent-based and Multi-agent Systems: MAS: Engineering methods, platforms, languages and tools","Agent-based and Multi-agent Systems: General","Agent-based and Multi-agent Systems: MAS: Formal verification, validation and synthesis","Agent-based and Multi-agent Systems: MAS: Agent communication"],"videos":[],"references":[{"position":1,"raw":"[Austin, 1962] John L. Austin. How to Do Things with Words. Clarendon Press, Oxford, 1962.","title":"How to Do Things with Words","authors":"John L Austin","year":"1962","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baldoni et al., 2006] Matteo Baldoni, Cristina Baroglio, Al- berto Martelli, and Viviana Patti. A priori conformance verification for guaranteeing interoperability in open envi- ronments. In Proceedings of the 4th International Con- ference on Service-Oriented Computing (ICSOC), LNCS, pages 339-351. Springer, December 2006.","title":"A priori conformance verification for guaranteeing interoperability in open environments","authors":"Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti","year":"2006","venue":"Proceedings of the 4th International Conference on Service-Oriented Computing (ICSOC), LNCS","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baldoni et al., 2014] Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, and Federico Capuzzimati. Engineering commitment-based business protocols with the 2CL methodology. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 28(4):519-557, July 2014.","title":"Engineering commitment-based business protocols with the 2CL methodology","authors":"Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Federico Capuzzimati","year":"2014","venue":"Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baldoni et al., 2023] Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, and Stefano Tedeschi. Accountability in multi-agent organizations: From conceptual design to agent programming. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 37(1):7, June 2023.","title":"Accountability in multi-agent organizations: From conceptual design to agent programming","authors":"Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi","year":"2023","venue":"Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bellifemine et al., 2007] Fabio Bellifemine, Giovanni Caire, and Dominic Greenwood. Developing Multi-Agent Systems with JADE. Wiley, Chichester, UK, 2007.","title":"Developing Multi-Agent Systems with JADE","authors":"Fabio Bellifemine, Giovanni Caire, Dominic Greenwood","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bergenti et al., 2020] Federico Bergenti, Giovanni Caire, Stefania Monica, and Agostino Poggi. The first twenty years of agent-based software development with JADE. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 34(2):36, 2020.","title":"The first twenty years of agent-based software development with JADE","authors":"Federico Bergenti, Giovanni Caire, Stefania Monica, Agostino Poggi","year":"2020","venue":"Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Boissier et al., 2013] Olivier Boissier, Rafael H. Bordini, Jomi Fred Hübner, Alessandro Ricci, and Andrea Santi. Multi-agent oriented programming with JaCaMo. Science of Computer Programming, 78(6):747-761, June 2013.","title":"Multi-agent oriented programming with JaCaMo","authors":"Olivier Boissier, Rafael H Bordini, Fred Jomi, Alessandro Hübner, Andrea Ricci, Santi","year":"2013","venue":"Science of Computer Programming","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Boissier et al., 2023] Olivier Boissier, Andrei Ciortea, An- dreas Harth, Alessandro Ricci, and Danai Vachtsevanou. Agents on the Web (Dagstuhl seminar 23081). Dagstuhl Reports, 13(2):71-162, 2023.","title":"Agents on the Web (Dagstuhl seminar 23081)","authors":"Boissier","year":"2023","venue":"Dagstuhl Reports","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Brélaz, 1979] Daniel Brélaz. New methods to color ver- tices of a graph. Communications of the ACM (CACM), 22(4):251-256, April 1979.","title":"New methods to color vertices of a graph","authors":"Daniel Brélaz","year":"1979","venue":"Communications of the ACM (CACM)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Carriero and Gelernter, 1989] Nicholas Carriero and David Gelernter. Linda in context. Communications of the ACM (CACM), 32(4):444-458, April 1989.","title":"Linda in context","authors":"Gelernter Carriero, Nicholas Carriero, David Gelernter","year":"1989","venue":"Communications of the ACM (CACM)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Cernuzzi and Zambonelli, 2004] Luca Cernuzzi and Franco Zambonelli. Experiencing AUML in the GAIA methodol- ogy. In Proceedings of the 6th International Conference on Enterprise Information Systems (ICEIS), pages 283-288, Porto, Portugal, April 2004. Science and Technology Pub- lications, Lda.","title":"Experiencing AUML in the GAIA methodology","authors":"Zambonelli Cernuzzi, Luca Cernuzzi, Franco Zambonelli","year":"2004","venue":"Proceedings of the 6th International Conference on Enterprise Information Systems (ICEIS)","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Chopra and Singh, 2016] Amit K. Chopra and Munindar P. Singh. Custard: Computing norm states over information stores. In Proceedings of the 15th International Confer- ence on Autonomous Agents and MultiAgent Systems (AA- MAS), pages 1096-1105, Singapore, May 2016. IFAA- MAS.","title":"Custard: Computing norm states over information stores","authors":"K Amit, Munindar P Chopra, Singh","year":"2016","venue":"Proceedings of the 15th International Conference on Autonomous Agents and MultiAgent Systems (AA-MAS)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Christie V et al., 2021] Samuel H. Christie V, Amit K. Chopra, and Munindar P. Singh. Hercule: Representing and reasoning about norms as a foundation for declarative contracts over blockchain. IEEE Internet Computing (IC), 25(4):67-75, July 2021.","title":"Hercule: Representing and reasoning about norms as a foundation for declarative contracts over blockchain","authors":"H Samuel, V Christie, Amit K Chopra, Munindar P Singh","year":"2021","venue":"IEEE Internet Computing (IC)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Christie V et al., 2023] Samuel H. Christie V, Munindar P. Singh, and Amit K. Chopra. Kiko: Programming agents to enact interaction protocols. In Proceedings of the 22nd In- ternational Conference on Autonomous Agents and Multi- Agent Systems (AAMAS), pages 1154-1163, London, May 2023. IFAAMAS.","title":"Kiko: Programming agents to enact interaction protocols","authors":"H Samuel, V Christie, Munindar P Singh, Amit K Chopra","year":"2023","venue":"Proceedings of the 22nd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Desai et al., 2005] Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, and Munindar P. Singh. OWL-P: A methodology for business process modeling and enactment. In Proceed- ings of the AAMAS Workshop on Agent Oriented Informa- tion Systems (AOIS), Utrecht, The Netherlands, July 2005.","title":"OWL-P: A methodology for business process modeling and enactment","authors":"Nirmit Desai, Ashok U Mallya, Amit K Chopra, Munindar P Singh","year":"2005","venue":"Proceedings of the AAMAS Workshop on Agent Oriented Information Systems (AOIS)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Ferrando et al., 2017] Angelo Ferrando, Davide Ancona, and Viviana Mascardi. Decentralizing MAS monitoring with DecAMon. In Proceedings of the 16th International Conference on Autonomous Agents and MultiAgent Sys- tems (AAMAS), pages 239-248, São Paulo, May 2017. IFAAMAS.","title":"Decentralizing MAS monitoring with DecAMon","authors":"Angelo Ferrando, Davide Ancona, Viviana Mascardi","year":"2017","venue":"Proceedings of the 16th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Ferrando et al., 2019] Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, and Viviana Mascardi. On enactability of agent interaction protocols: Towards a unified approach. In Proceedings of the 7th International Workshop on Engineering Multi-Agent Systems (EMAS), volume 12058 of Lecture Notes in Computer Science, pages 43-64, Montréal, May 2019. Springer.","title":"On enactability of agent interaction protocols: Towards a unified approach","authors":"Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi","year":"2019","venue":"Proceedings of the 7th International Workshop on Engineering Multi-Agent Systems (EMAS)","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Fitting, 1999] Melvin Fitting. Introduction. In Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, editors, Handbook of Tableau Methods, chap- ter 1, pages 1-43. Kluwer, 1999.","title":"Introduction","authors":"Melvin Fitting","year":"1999","venue":"Handbook of Tableau Methods, chapter 1","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Mallya and Singh, 2007] Ashok U. Mallya and Munindar P. Singh. An algebra for commitment protocols. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 14(2):143-163, April 2007.","title":"An algebra for commitment protocols","authors":"U Ashok, Munindar P Mallya, Singh","year":"2007","venue":"Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Mattern, 1990] Friedemann Mattern. Asynchronous dis- tributed termination-parallel and symmetric solutions with echo algorithms. Algorithmica, 5(3):325-340, June 1990.","title":"Asynchronous distributed termination-parallel and symmetric solutions with echo algorithms","authors":"Friedemann Mattern","year":"1990","venue":"Algorithmica","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Mendling et al., 2018] Jan Mendling, Ingo Weber, Wil van der Aalst, Jan vom Brocke, Cristina Cabanillas, Flo- rian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Du- mas, Schahram Dustdar, Avigdor Gal, Luciano García- Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Man- fred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, An- dreas Solti, Michael Rosemann, Stefan Schulte, Munin- dar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, and Lim- ing Zhu. Blockchains for business process management -challenges and opportunities. ACM Transactions on Management Information Systems (TMIS), 9(1):4:1-4:16, February 2018.","title":"Blockchains for business process management -challenges and opportunities","authors":"Mendling","year":"2018","venue":"ACM Transactions on Management Information Systems (TMIS)","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Padgham and Winikoff, 2005] Lin Padgham and Michael Winikoff. Prometheus: A practical agent-oriented method- ology. In Brian Henderson-Sellers and Paolo Giorgini, editors, Agent-Oriented Methodologies, chapter 5, pages 107-135.","title":"Prometheus: A practical agent-oriented methodology","authors":"Winikoff Padgham, Lin Padgham, Michael Winikoff","year":"2005","venue":"Agent-Oriented Methodologies","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Poslad, 2007] Stefan Poslad. Specifying protocols for multi-agent systems interaction. ACM Transactions on Au- tonomous and Adaptive Systems (TAAS), 2(4):15:1-15:24, 2007.","title":"Specifying protocols for multi-agent systems interaction","authors":"Stefan Poslad, Poslad","year":"2007","venue":"ACM Transactions on Autonomous and Adaptive Systems (TAAS)","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Ricci et al., 2009] Alessandro Ricci, Michele Piunti, Mirko Viroli, and Andrea Omicini. Environment programming in CArtAgO. In Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah Seghrouchni, editors, Multi-Agent Programming, Languages, Tools and Applications, chap- ter 8, pages 259-288. Springer, Dordrecht, Netherlands, 2009.","title":"Environment programming in CArtAgO","authors":"Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini","year":"2009","venue":"Multi-Agent Programming, Languages, Tools and Applications","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Ricci et al., 2019] Alessandro Ricci, Andrei Ciortea, Simon Mayer, Olivier Boissier, Rafael H. Bordini, and Jomi Fred Hübner. Engineering scalable distributed environments and organizations for MAS. In Proceedings of the 18th International Conference on Autonomous Agents and Mul- tiAgent Systems (AAMAS), pages 790-798, Montréal, May 2019. IFAAMAS.","title":"Engineering scalable distributed environments and organizations for MAS","authors":"Alessandro Ricci, Andrei Ciortea, Simon Mayer, Olivier Boissier, Rafael H Bordini, Fred Jomi, Hübner","year":"2019","venue":"Proceedings of the 18th International Conference on Autonomous Agents and Mul-tiAgent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Rooney et al., 2004] Colm Rooney, Rem W. Collier, and Gregory M. P. O'Hare. VIPER: A visual protocol editor. In Proceedings of the 6th International Conference on Co- ordination Models and Languages COORDINATION, vol- ume 2949 of Lecture Notes in Computer Science, pages 279-293, Pisa, February 2004. Springer.","title":"VIPER: A visual protocol editor","authors":"Colm Rooney, Rem W Collier, Gregory M P O'hare","year":"2004","venue":"Proceedings of the 6th International Conference on Coordination Models and Languages COORDINATION","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Sadek et al., 1997] M. David Sadek, Philippe Bretier, and Franck Panaget. ARTIMIS: Natural dialogue meets ratio- nal agency. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI), pages 1030- 1035, Nagoya, Japan, August 1997.","title":"ARTIMIS: Natural dialogue meets rational agency","authors":"M David Sadek, Philippe Bretier, Franck Panaget","year":"1997","venue":"Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/1997/149"},{"position":28,"raw":"Morgan Kaufmann. [Singh and Chopra, 2020]","title":"Singh and Chopra","authors":"Morgan Kaufmann","year":"2020","venue":null,"doi":null,"url":null,"internal_url":null},{"position":29,"raw":"Munindar P. Singh and Amit K. Chopra. Clouseau: Generating communication protocols from commitments. In Proceedings of the 34th Confer- ence on Artificial Intelligence (AAAI), pages 7244-7252, New York, February 2020. AAAI Press.","title":"Clouseau: Generating communication protocols from commitments","authors":"P Munindar, Amit K Singh, Chopra","year":"2020","venue":"Proceedings of the 34th Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Singh and Christie V, 2021] Munindar P. Singh and Samuel H. Christie V. Tango: Declarative semantics for multiagent communication protocols. In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI), pages 391-397, Online, August 2021. IJCAI.","title":"Tango: Declarative semantics for multiagent communication protocols","authors":"P Munindar, Samuel H Singh, V Christie","year":"2021","venue":"Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2021/55"},{"position":31,"raw":"[Singh, 1996] Munindar P. Singh. Synthesizing distributed constrained events from transactional workflow specifica- tions. In Proceedings of the 12th International Conference on Data Engineering (ICDE), pages 616-623, New Or- leans, February 1996. IEEE.","title":"Synthesizing distributed constrained events from transactional workflow specifications","authors":"P Munindar, Singh","year":"1996","venue":"Proceedings of the 12th International Conference on Data Engineering (ICDE)","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Singh, 1999] Munindar P. Singh. Write asynchronous, run synchronous. IEEE Internet Computing (IC), 3(2):4-5, March 1999. Instance of the column Being Interactive.","title":"Write asynchronous, run synchronous","authors":"P Munindar, Singh","year":"1999","venue":"IEEE Internet Computing (IC)","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Singh, 2000] Munindar P. Singh. A social semantics for agent communication languages. In Proceedings of the 1999 IJCAI Workshop on Agent Communication Lan- guages, number 1916 in Lecture Notes in Artificial Intel- ligence, pages 31-45, Berlin, 2000. Springer.","title":"A social semantics for agent communication languages","authors":"P Munindar, Singh","year":"1916","venue":"Proceedings of the 1999 IJCAI Workshop on Agent Communication Languages","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Singh, 2011a] Munindar P. Singh. Information-driven interaction-oriented programming: BSPL, the Blindingly Simple Protocol Language. In Proceedings of the 10th In- ternational Conference on Autonomous Agents and Mul- tiAgent Systems (AAMAS), pages 491-498, Taipei, May 2011. IFAAMAS.","title":"Information-driven interaction-oriented programming: BSPL, the Blindingly Simple Protocol Language","authors":"P Singh ; Munindar, Singh","year":"2011","venue":"Proceedings of the 10th International Conference on Autonomous Agents and Mul-tiAgent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Singh, 2011b] Munindar P. Singh. LoST: Local State Transfer-An architectural style for the distributed enact- ment of business protocols. In Proceedings of the 9th IEEE International Conference on Web Services (ICWS), pages 57-64, Washington, DC, July 2011. IEEE Computer Soci- ety.","title":"LoST: Local State Transfer-An architectural style for the distributed enactment of business protocols","authors":"P Singh ; Munindar, Singh","year":"2011","venue":"Proceedings of the 9th IEEE International Conference on Web Services (ICWS)","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Singh, 2012] Munindar P. Singh. Semantics and verifica- tion of information-based protocols. In Proceedings of the 11th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pages 1149-1156, Valen- cia, Spain, June 2012. IFAAMAS.","title":"Semantics and verification of information-based protocols","authors":"P Munindar, Singh","year":"2012","venue":"Proceedings of the 11th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Vachtsevanou et al., 2023] Danai Vachtsevanou, Andrei Ciortea, Simon Mayer, and Jérémy Lemée. Signifiers as a first-class abstraction in hypermedia multi-agent systems. In Proceedings of the 22nd International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pages 1200-1208, London, May 2023. IFAAMAS.","title":"Signifiers as a first-class abstraction in hypermedia multi-agent systems","authors":"Danai Vachtsevanou, Andrei Ciortea, Simon Mayer, Jérémy Lemée","year":"2023","venue":"Proceedings of the 22nd International Conference on Autonomous Agents and MultiAgent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Vieira et al., 2007] Renata Vieira, Álvaro F. Moreira, Michael J. Wooldridge, and Rafael H. Bordini. On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence Research (JAIR), 29:221-267, June 2007.","title":"On the formal semantics of speech-act based communication in an agent-oriented programming language","authors":"Renata Vieira, Álvaro F Moreira, Michael J Wooldridge, Rafael H Bordini","year":"2007","venue":"Journal of Artificial Intelligence Research (JAIR)","doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[Weyns and Holvoet, 2004] Danny Weyns and Tom Holvoet. A formal model for situated multi-agent systems. Funda- menta Informaticae, 63(2-3):125-158, 2004.","title":"Danny Weyns and Tom Holvoet. A formal model for situated multi-agent systems","authors":"Holvoet Weyns","year":"2004","venue":"Fundamenta Informaticae","doi":null,"url":null,"internal_url":null},{"position":40,"raw":"[Weyns et al., 2007] Danny Weyns, Andrea Omicini, and James Odell. Environment as a first class abstraction in multiagent systems. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 14(1):5-30, Febru- ary 2007.","title":"Environment as a first class abstraction in multiagent systems","authors":"Danny Weyns, Andrea Omicini, James Odell","year":"2007","venue":"Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)","doi":null,"url":null,"internal_url":null},{"position":41,"raw":"[Winikoff et al., 2018] Michael Winikoff, Nitin Yadav, and Lin Padgham. A new Hierarchical Agent Protocol Nota- tion. Journal of Autonomous Agents and Multi-Agent Sys- tems (JAAMAS), 32(1):59-133, January 2018.","title":"A new Hierarchical Agent Protocol Notation","authors":"Michael Winikoff, Nitin Yadav, Lin Padgham","year":"2018","venue":"Journal of Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":42,"raw":"[Winikoff, 2007] Michael Winikoff. Implementing commitment-based interactions. In Proceedings of the 6th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pages 868-875, Honolulu, May 2007. IFAAMAS.","title":"Implementing commitment-based interactions","authors":"Michael Winikoff","year":"2007","venue":"Proceedings of the 6th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS)","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}