Typing Multi-Agent Systems via Commitments-Reference-Cited by-同舟云学术

Typing Multi-Agent Systems via Commitments

Published:2014 Issue: Volume: Page:388-405
ISSN:0302-9743
Container-title:Engineering Multi-Agent Systems
language:
Short-container-title:

Author:

Baldoni Matteo,Baroglio Cristina,Capuzzimati Federico

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-14484-9_20

Reference34 articles.

1. LNCS (LNAI);D. Ancona,2013

2. LNCS (LNAI);M. Baldoni,2013

3. 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 (to appear, 2014)

4. Baldoni, M., Baroglio, C., Capuzzimati, F.: Reasoning about Social Relationships with Jason. In: Chopra, A., Verhagen, H. (eds.) Proc. of the 1st International Workshop on Multiagent Foundations of Social Computing, SC-AAMAS 2014, Held in Conjuction with AAMAS 2014, Paris, France (May 2014)

5. Baldoni, M., Baroglio, C., Chopra, A.K., Desai, N., Patti, V., Singh, M.P.: Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, pp. 843–850. IFAAMAS (2009)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. TPO: A Type System for the Architecture of Agent Societies;Engineering Multi-Agent Systems;2022

2. Commitment-based Agent Interaction in JaCaMo+;Fundamenta Informaticae;2018-03-07

3. Type checking for protocol role enactments via commitments;Autonomous Agents and Multi-Agent Systems;2018-01-31

4. Objective Coordination with Business Artifacts and Social Engagements;Business Process Management Workshops;2018

5. An outline of the use of transition systems to formalize JADE agents and multi-agent systems;Intelligenza Artificiale;2015-12-19