Commitment-based Agent Interaction in JaCaMo+

• Autorzy: Baldoni M. , Baroglio C , Capuzzimati F. , Micalizio R.

Identyfikatory

DOI

10.3233/FI-2018-1656

• Konferencja: Convegno Italiano di Logica Computazionale : CILC 2015 (30th; 01-03.07.2015; University of Genoa, Italy)
• Języki publikacji: EN

Abstrakty

EN

We present the JaCaMo+ framework for programming multiagent systems (MAS), where agents interact thanks to commitment-based interaction protocols. Commitment protocols are realized as artifacts that maintain a social state and notify to the participating agents those events that are relevant to the interaction. We discuss the advantages, like increased modularity and flexibility, that are brought by commitment-ruled interactions with respect to other proposals. We trace back such advantages to the possibility of relying on a standardized commitment lifecycle. We explain how to use the framework to program interacting agents by using the Netbill protocol as running example, and the Gold Miners scenario as a more complex programming example.

Słowa kluczowe

EN

commitment-based protocol; interaction-oriented programming; JaCaMo

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2018
• Tom: Vol. 159, nr 1/2
• Strony: 1--33
• Opis fizyczny: Bibliogr. 70 poz., rys., tab.

Twórcy

autor

Baldoni M.

• Università degli Studi di Torino, Dipartimento di Informatica, c.so Svizzera 185, I-10149 Torino, Italy

autor

Baroglio C

• Università degli Studi di Torino, Dipartimento di Informatica, c.so Svizzera 185, I-10149 Torino, Italy

autor

Capuzzimati F.

• Università degli Studi di Torino, Dipartimento di Informatica, c.so Svizzera 185, I-10149 Torino, Italy

autor

Micalizio R.

• Università degli Studi di Torino, Dipartimento di Informatica, c.so Svizzera 185, I-10149 Torino, Italy

Bibliografia

• [1] Zatelli MR, Hübner JF. The Interaction as an Integration Component for the JaCaMo Platform. In: Dalpiaz F, Dix J, van Riemsdijk MB (eds.), Post-Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, Revised Selected and Invited Papers, number 8758 in LNAI. Springer, 2014 pp. 431-450. URL https://doi.org/10.1007/978-3-319-14484-9_22.
• [2] Demazeau Y. From interactions to collective behaviour in agent-based systems. In: Proceedings of the 1st. European Conference on Cognitive Science. Saint-Malo. 1995.
• [3] Hammer F, Derakhshan A, Demazeau Y, Lund HH. A Multi-Agent Approach to Social Human Behaviour in Children’s Play. In: Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology. IEEE Computer Society, 2006 pp. 403-406. doi:10.1109/IAT.2006.14.
• [4] Castelfranchi C. Commitments: From Individual Intentions to Groups and Organizations. In: Lesser VR, Gasser L (eds.), Proceedings of the First International Conference on Multiagent Systems (ICMAS). The MIT Press, San Francisco, California, USA, 1995 pp. 41-48. URL https://www.aaai.org/Library/ICMAS/1995/icmas95-006.php.
• [5] Singh MP. Commitments Among Autonomous Agents in Information-Rich Environments. In: Proceedings of the 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: Multi-Agent Rationality. Springer-Verlag, London, UK. ISBN 3-540-63077-5, 1997 pp. 141-155. URL http://dl.acm.org/citation.cfm?id=646909.710793.
• [6] Norman TJ, Carbogim DV, Krabbe ECW, Walton CD. Argument and multi-agent systems. In: Argumentation Machines: New Frontiers in Argument and Computation, volume 9 of Argumentation Library, pp. 15-54. 2003. URL http://www.csd.abdn.ac.uk/~tnorman/publications/Norman+Carbogim+Krabbe+Walton.pdf.
• [7] Singh MP. An Ontology for Commitments in Multiagent Systems. Artif. Intell. Law, 1999;7(1):97-113. URL https://doi.org/10.1023/A:1008319631231.
• [8] Telang PR, Singh MP, Yorke-Smith N. Relating Goal and Commitment Semantics. In: ProMAS, number 7217 in Lecture Notes in Computer Science. Springer. ISBN 978-3-642-31914-3, 2011 pp. 22-37.
• [9] Yolum P, Singh MP. Designing and Executing Protocols Using the Event Calculus. In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS ’01. ACM, New York, NY, USA. ISBN 1-58113-326-X, 2001 pp. 27-28. doi:10.1145/375735.375822. URL http://doi.acm.org/10.1145/375735.375822.
• [10] Yolum P, Singh MP. Commitment Machines. In: Intelligent Agents VIII, 8th Int. WS, ATAL 2001, number 2333 in LNCS. Springer, 2002 pp. 235-247. URL https://doi.org/10.1007/3-540-45448-9_17.
• [11] Yolum P, Singh MP. Flexible protocol specification and execution: applying event calculus planning using commitments. In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings. ACM, 2002 pp. 527-534. doi:10.1145/544862.544867. URL http://doi.acm.org/10.1145/544862.544867.
• [12] Marengo E, Baldoni M, Baroglio C, Chopra AK, Patti V, Singh MP. Commitments with Regulations: Reasoning about Safety and Control in REGULA. In: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011, volume 2. IFAAMAS, Taipei, Taiwan. ISBN 0-9826571-6-1, 978-0-9826571-6-4, 2011 pp. 467-474. URL http://www.aamas2011.tw/.
• [13] Baldoni M, Baroglio C, Marengo E, Patti V. Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach. ACM Trans. on Intelligent Sys. and Tech., Special Issue on Agent Communication, 2013;4(2):22:1-22:25. doi:10.1145/2438653.2438657.
• [14] Desai N, Chopra AK, Singh MP. Amoeba: A methodology for modeling and evolving cross-organizational business processes. ACM Trans. Softw. Eng. Methodol., 2009;19(2). doi:10.1145/1571629.1571632. URL http://doi.acm.org/10.1145/1571629.1571632.
• [15] Bellifemine FL, Caire G, Greenwood D. Developing Multi-Agent Systems with JADE. John Wiley & Sons, 2007. ISBN 0470057475.
• [16] Bordini RH, Hübner JF, Wooldridge M. Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, 2007. ISBN 0470029005.
• [17] Omicini A, Zambonelli F. TuCSoN: a Coordination model for Mobile Information Agents. In: Proc. of IIIS. IDI - NTNU, Trondheim (Norway), 1998 pp. 177-187.
• [18] Brazier FMT, Dunin-Keplicz BM, Jennings NR, Treur J. Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework. Int. J. of Cooperative Information Systems, 1997;06(01):67-94. doi:10.1142/S0218843097000069. URL http://www.worldscientific.com/doi/abs/10.1142/S0218843097000069.
• [19] Thiele A, Konnerth T, Kaiser S, Keiser J, Hirsch B. Applying JIAC V to Real World Problems: The MAMS Case. In: MATES, number 5774 in LNCS. Springer. ISBN 978-3-642-04142-6, 2009 pp. 268-277. URL http://dblp.uni-trier.de/db/conf/mates/mates2009.html#ThieleKKKH09.
• [20] Boissier O, Bordini RH, Hübner JF, Ricci A, Santi A. Multi-agent oriented programming with JaCaMo. Special section: The Programming Languages track at the 26th ACM Symposium on Applied Computing (SAC 2011) & Special section on Agent-oriented Design Methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments. Science of Computer Programming, 2013;78(6):747-761. URL https://doi.org/10.1016/j.scico.2011.10.004.
• [21] Baldoni M, Baroglio C, Marengo E, Patti V, Ricci A. Back to the future: An interaction-oriented framework for social computing. In: First International Workshop on Requirements Engineering for Social Computing, RESC 2011, Trento, Italy, August 29, 2011. IEEE, 2011 pp. 2-5. doi:10.1109/RESC.2011.6046711. URL http://dx.doi.org/10.1109/RESC.2011.6046711.
• [22] Baldoni M, Baroglio C, Bergenti F, Boccalatte A, Marengo E, Martelli M, Mascardi V, Padovani L, Patti V, Ricci A, Rossi G, Santi A. MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. In: Boissier O, Fallah-Seghrouchni AE, Hassas S, Maudet N (eds.), Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010, number 627 in CEUR Workshop Proceedings. CEUR-WS.org, 2010 URL http://ceur-ws.org/Vol-627/coin_9.pdf.
• [23] Weyns D, Omicini A, Odell J. Environment as a first class abstraction in multiagent systems. JAAMAS, 2007;14(1):5-30. URL https://doi.org/10.1007/s10458-006-0012-0.
• [24] Hübner JF, Sichman JS, Boissier O. S-MOISE+: A Middleware for Developing Organised Multi-agent Systems. In: Boissier O, Padget JA, Dignum V, Lindemann G, Matson ET, Ossowski S, Sichman JS, Vázquez-Salceda J (eds.), Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers, number 3913 in Lecture Notes in Computer Science. Springer, 2005 pp. 64-78. URL https://doi.org/10.1007/11775331_5.
• [25] Dastani M, Grossi D, Meyer JC, Tinnemeier NAM. Normative Multi-agent Programs and Their Logics. In: Meyer JC, Broersen JM (eds.), Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers, number 5605 in Lecture Notes in Computer Science. Springer, 2008 pp. 16-31. URL https://doi.org/10.1007/978-3-642-05301-6_2.
• [26] Urovi V, Bromuri S, Stathis K, Artikis A. Initial Steps Towards Run-Time Support for Norm-Governed Systems. In: Vos MD, Fornara N, Pitt JV, Vouros GA (eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers, number 6541 in Lecture Notes in Computer Science. Springer, 2010 pp. 268-284. URL https://doi.org/10.1007/978-3-642-21268-0_15.
• [27] Persson C, Picard G, Ramparany F, Boissier O. A JaCaMo-Based Governance of Machine-to-Machine Systems. In: Demazeau Y, Müller JP, Rodríguez JMC, Pérez JB (eds.), Advances on Practical Applications of Agents and Multi-Agent Systems - 10th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2012, Salamanca, Spain, 28-30 March, 2012, number 155 in Advances in Intelligent and Soft Computing. Springer, 2012 pp. 161-168. URL https://doi.org/10.1007/978-3-642-28786-2_18.
• [28] Franco MR, Sichman JS. Improving the LTI-USP Team: A New JaCaMo Based MAS for the MAPC 2013. In: Cossentino M, Fallah-Seghrouchni AE, Winikoff M (eds.), Engineering Multi-Agent Systems - First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers, number 8245 in Lecture Notes in Computer Science. Springer, 2013 pp. 339-348. URL DOIhttps://doi.org/10.1007/978-3-642-45343-4_19.
• [29] Martins R, Meneguzzi F. A smart home model using JaCaMo framework. In: 12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014. IEEE, 2014 pp. 94-99. doi:10.1109/INDIN.2014.6945490.
• [30] Ricci A, Santi A. Typing Multi-agent Programs in simpAL. In: Dastani M, Hübner JF, Logan B (eds.), ProMAS, number 7837 in Lecture Notes in Computer Science. Springer. ISBN 978-3-642-38699-2, 2012 pp. 138-157.
• [31] Ricci A, Santi A. CArtAgO by Example, 2010. http://www.emse.fr/~boissier/enseignement/maop13/courses/cartagoByExamples.pdf, URL http://www.emse.fr/~boissier/enseignement/maop13/courses/cartagoByExamples.pdf.
• [32] Doi T, Tahara Y, Honiden S. IOM/T: an interaction description language for multi-agent systems. In: Dignum F, Dignum V, Koenig S, Kraus S, Singh MP, Wooldridge M (eds.), 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands. ACM, 2005 pp. 778-785. doi:10.1145/1082473.1082592. URL http://doi.acm.org/10.1145/1082473.1082592.
• [33] Miller T, McGinnis J. Amongst First-Class Protocols. In: Artikis A, O’Hare GMP, Stathis K, Vouros GA (eds.), Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers, number 4995 in Lecture Notes in Computer Science. Springer, 2007 pp. 208-223. URL https://doi.org/10.1007/978-3-540-87654-0_11.
• [34] Singh MP. Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language. In: Sonenberg L, Stone P, Tumer K, Yolum P (eds.), 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3. IFAAMAS, 2011 pp. 491-498. URL http://portal.acm.org/citation.cfm?id=2031687&CFID=54178199&CFTOKEN=61392764.
• [35] Fornara N, Colombetti M. Defining Interaction Protocols using a Commitment-based Agent Communication Language. In: Proc. of the Second International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2003). ACM, 2003 pp. 520-527. doi:10.1145/860575.860659.
• [36] Odell J, Parunak HVD, Bauer B. Representing Agent Interaction Protocols in UML. In: Ciancarini P, Wooldridge M (eds.), Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers, number 1957 in Lecture Notes in Computer Science. Springer, 2000 pp. 121-140.
• [37] Cabac L, Moldt D, Rölke H. A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. In: van der Aalst WMP, Best E (eds.), Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, number 2679 in Lecture Notes in Computer Science. Springer, 2003 pp. 102-120. URL https://doi.org/10.1007/3-540-44919-1_10.
• [38] Dunn-Davies HR, Cunningham RJ, Paurobally S. Propositional Statecharts for Agent Interaction Protocols. Electron. Notes Theor. Comput. Sci., 2005;134:55-75. doi:10.1016/j.entcs.2005.02.020. URL http://dx.doi.org/10.1016/j.entcs.2005.02.020.
• [39] Winikoff M, Liu W, Harland J. Enhancing Commitment Machines. In: Leite JA, Omicini A, Torroni P, Yolum P (eds.), Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers, number 3476 in Lecture Notes in Computer Science. Springer, 2004 pp. 198-220. URL https://doi.org/10.1007/11493402_12.
• [40] Chopra AK. Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing. Ph.D. thesis, North Carolina State University, 2009. ISBN:978-1-109-00590-5.
• [41] Torroni P, Chesani F, Mello P, Montali M. Social Commitments in Time: Satisfied or Compensated. In: Declarative Agent Languages and Technologies VII, 7th International Workshop (DALT 2009), volume 5948. 2010 pp. 228-243. URL https://doi.org/10.1007/978-3-642-11355-0_14.
• [42] El-Menshawy M, Bentahar J, Dssouli R. Verifiable Semantic Model for Agent Interactions Using Social Commitments. In: Dastani M, Fallah-Seghrouchni AE, Leite J, Torroni P (eds.), Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers, number 6039 in Lecture Notes in Computer Science. Springer, 2009 pp. 128-152. URL https://doi.org/10.1007/978-3-642-13338-1_8.
• [43] Criado N, Argente E, Noriega P, Botti V. Reasoning about constitutive norms in BDI agents. Logic Journal of IGPL, 2014;22(1):66-93. URL https://doi.org/10.1093/jigpal/jzt035.
• [44] de Brito M, Hübner JF, Boissier O. Coupling Regulative and Constitutive Dimensions in Situated Artificial Institutions. In: Rovatsos M, Vouros GA, Julián V (eds.), Multi-Agent Systems and Agreement Technologies - 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers, number 9571 in Lecture Notes in Computer Science. Springer, 2015 pp. 318-334. doi:10.1007/978-3-319-33509-4 25. URL http://dx.doi.org/10.1007/978-3-319-33509-4_25.
• [45] Singh MP. Commitments in multiagent systems some controversies, some prospects. In: Paglieri F, Tummolini L, Falcone R, Miceli M(eds.), The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, chapter 31, pp. 601-626. College Publications, London, 2011.
• [46] Conte R, Castelfranchi C, Dignum F. Autonomous Norm Acceptance. In: ATAL, number 1555 in LNCS. Springer. ISBN 3-540-65713-4, 1998 pp. 99-112.
• [47] Rafaeli S. Sage Annual Review of Communication Research: Advancing Communication Science: Merging Mass and Interpersonal Processes, chapter (Chapter 4) Interactivity: From new media to communication, pp. 110-134. Sage, Beverly Hills, 1988.
• [48] Singh MP. A Social Semantics for Agent Communication Languages. In: Issues in Agent Communication, volume 1916 of Lecture Notes in Computer Science. Springer, 2000 pp. 31-45. URL https://doi.org/10.1007/10722777_3.
• [49] Singh MP. Distributed enactment of multiagent workflows: temporal logic for web service composition. In: Proc. AAMAS. ACM, 2003 pp. 907-914. doi:10.1145/860575.860721.
• [50] Bordini RH, Hübner JF, Tralamazza DM. Using Jason to Implement a Team of Gold Miners. In: Inoue K, Satoh K, Toni F (eds.), Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers, number 4371 in Lecture Notes in Computer Science. Springer, 2006 pp. 304-313. URL https://doi.org/10.1007/978-3-540-69619-3_18.
• [51] Hübner JF, Bordini RH. Developing a Team of Gold Miners Using Jason. In: Dastani M, El Fallah-Seghrouchni A, Ricci A, Winikoff M (eds.), Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers, number 4908 in Lecture Notes in Computer Science. Springer, 2007 pp. 241-245. URL https://doi.org/10.1007/978-3-540-79043-3_15.
• [52] Cherns A. Principles of Socio-Technical Design. Human Relations, 1976;2:783-792.
• [53] Ricci A, Piunti M, Viroli M. Environment programming in multi-agent systems: an artifact-based perspective. Autonomous Agents and Multi-Agent Systems, 2011;23(2):158-192. URL https://doi.org/10.1007/s10458-010-9140-7.
• [54] Baldoni M, Baroglio C, Capuzzimati F, Micalizio R. Empowering Agent Coordination with Social Engagement. In: Gavanelli M, Lamma E, Riguzzi F (eds.), AI*IA 2015: Advances in Artificial Intelligence, XIV International Conference of the Italian Association for Artificial Intelligence, number 9336 in LNAI. Springer, Ferrara, Italy, 2015 pp. 89-101. URL https://doi.org/10.1007/978-3-319-24309-2_7.
• [55] Baldoni M, Baroglio C, Capuzzimati F. A Commitment-based Infrastructure for Programming Socio-Technical Systems. ACM Transactions on Internet Technology, Special Issue on Foundations of Social Computing, 2014;14(4):23:1-23:23. doi:10.1145/2677206. URL http://doi.acm.org/10.1145/2677206.
• [56] Baldoni M, Baroglio C, Calvanese D, Micalizio R, Montali M. Towards Data-and Norm-aware Multiagent Systems. In: Baldoni M, Müller JP, Nunes I, Zalila-Wenkstern R (eds.), Post-Proc. of the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, Revised Selected and Invited Papers, number 10093 in LNAI. Springer. ISBN 978-3-319-50982-2, 2016 pp. 22-38. doi: http://dx.doi.org/10.1007/978-3-319-50983-9.
• [57] Chesani F, Mello P, Montali M, Torroni P. Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems, 2013;27(1):85-130. doi:10.1007/s10458-012-9202-0. URL http://dx.doi.org/10.1007/s10458-012-9202-0.
• [58] Montali M, Calvanese D, De Giacomo G. Verification of data-aware commitment-based multiagent system. In: Proc. of AAMAS. IFAAMAS/ACM, 2014 pp. 157-164. URL http://dl.acm.org/citation.cfm?id=2615759.
• [59] Chopra AK, Singh MP. Cupid: Commitments in Relational Algebra. In: Proc. of the 29th AAAI Conf. AAAI Press, 2015 pp. 2052-2059. URL http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9938.
• [60] Costantini S. Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments. In: Calimeri F, Ianni G, Truszczynski M (eds.), Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, number 9345 in Lecture Notes in Computer Science. Springer, 2015 pp. 228-241. doi:10.1007/978-3-319-23264-5 20. URL http://dx.doi.org/10.1007/978-3-319-23264-5_20.
• [61] Baldoni M, Baroglio C, Chopra AK, Singh MP. Composing and Verifying Commitment-Based Multiagent Protocols. In: Wooldridge M, Yang Q (eds.), Proc. of 24th International Joint Conference on Artificial Intelligence, IJCAI 2015. Buenos Aires, Argentina, 2015 URL http://ijcai-15.org/.
• [62] Baldoni M, Baroglio C, Capuzzimati F. Typing Multi-Agent Systems via Commitments. In: Dalpiaz F, Dix J, van Riemsdijk MB (eds.), Post-Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, Revised Selected and Invited Papers, number 8758 in LNAI. Springer. ISBN 978-3-319-14483-2, 2014 pp. 388-405. doi:http://dx.doi.org/10.1007/978-3-319-14484-9. URL http://link.springer.com/book/10.1007/978-3-319-14484-9.
• [63] Baldoni M, Baroglio C, Chopra AK, Desai N, Patti V, Singh MP. Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In: Decker K, Sichman J, Sierra C, Castelfranchi C (eds.), Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009. IFAAMAS, Budapest, Hungary. ISBN 978-0-9817381-7-8, 2009 pp. 843-850. doi:10.1145/1558109.1558129. URL http://www.conferences.hu/AAMAS2009/.
• [64] Damiani F, Giannini P, Ricci A, Viroli M. Standard Type Soundness for Agents and Artifacts. Scientific Annals of Computer Science, 2012;22(2):267-326. URL http://www.infoiasi.ro/bin/Annals/Article?v=XXII2&a=1.
• [65] d’Inverno M, Luck M, Noriega P, Rodríguez-Aguilar JA, Sierra C. Communicating open systems. Artif.Intell., 2012;186:38-94. doi:10.1016/j.artint.2012.03.004. URL http://dx.doi.org/10.1016/j.artint.2012.03.004.
• [66] Esteva M, Rosell B, Rodríguez-Aguilar JA, Arcos JL. AMELI: An Agent-Based Middleware for Electronic Institutions. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA. IEEE Computer Society, 2004 pp. 236-243. doi:10.1109/AAMAS.2004.10060. URL http://doi.ieeecomputersociety.org/10.1109/AAMAS. 2004.10060.
• [67] Arcos JL, Noriega P, Rodríguez-Aguilar JA, Sierra C. E4MAS Through Electronic Institutions. In: Weyns D, Parunak HVD, Michel F (eds.), Environments for Multi-Agent Systems III, Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers, number 4389 in Lecture Notes in Computer Science. Springer, 2006 pp. 184-202. doi:10.1007/978-3-540-71103-2_11. URL http://dx.doi.org/10.1007/978-3-540-71103-2_11.
• [68] Hübner JF, Boissier O, Kitio R, Ricci A. Instrumenting multi-agent organisations with organizational artifacts and agents: “Giving the organisational power back to the agents”. Autonomous Agents and Multi-Agent Systems, 2009;20(3):369-400. URL https://doi.org/10.1007/s10458-009-9084-y.
• [69] Fornara N, Viganò F, Verdicchio M, Colombetti M. Artificial institutions: a model of institutional reality for open multiagent systems. Artif. Intell. Law, 2008;16(1):89-105. URL https://doi.org/10.1007/s10506-007-9055-z.
• [70] Okouya D, Fornara N, Colombetti M. An Infrastructure for the Design and Development of Open Interaction Systems. In: Cossentino M, El Fallah Seghrouchni A, Winikoff M (eds.), Post-Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, Revised Selected and Invited Papers, number 8245 in LNAI. Springer, 2013 pp. 215-234. URL https://doi.org/10.1007/978-3-642-45343-4_12.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).