Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS-Reference-Cited by-同舟云学术

Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS

Published:2011 Issue: Volume: Page:60-77
ISSN:0302-9743
Container-title:Declarative Agent Languages and Technologies VIII
language:
Short-container-title:

Author:

Baldoni Matteo,Baroglio Cristina,Marengo Elisa

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20715-0_4

Reference45 articles.

1. 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: Haddad, H., Omicini, A., Wainwright, R.L., Liebrock, L.M. (eds.) Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 2004, pp. 72–78. ACM, New York (2004)

2. Lecture Notes in Computer Science;R. Alur,1998

3. Astefanoaei, L., de Boer, F.S.: Model-checking Agent Refinement. In: Padgham, et al [29], pp. 705–712

4. 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: Sierra, et al [34], pp. 843–850

5. Frontiers in Artificial Intelligence and Applications;M. Baldoni,2010

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

1. Computational logics and verification techniques of multi-agent commitments: survey;The Knowledge Engineering Review;2015-08-06

2. Behavior-consistent service substitutions in dynamic environments;Journal of Shanghai Jiaotong University (Science);2014-01-21

3. The Shaping of the Agent-Oriented Mindset;Engineering Multi-Agent Systems;2014

4. Constitutive and regulative specifications of commitment protocols;ACM Transactions on Intelligent Systems and Technology;2013-03

5. Some Thoughts about Commitment Protocols;Declarative Agent Languages and Technologies X;2013