Semantic web technology for agent communication protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5021 LNCS, Issue , 2008, Pages 5-18

  Berges, Idoia ^a   Bermúdez, Jesús ^a   Goñi, Alfredo ^a   Illarramendi, Arantza ^a  

^a UNIVERSITY OF THE BASQUE COUNTRY UPV EHU   (Spain)

Author keywords

Agents; Communication acts; Protocol

Indexed keywords

AGENT COMMUNICATION PROTOCOLS; AGENTS COMMUNICATION; COMMUNICATION ACTS; COMMUNICATION PROTOCOLS; EUROPEAN; EVENT CALCULUS (EC); FLUENTS; HEIDELBERG (CO); RULE ENGINES; SEMANTIC LEVELS; SEMANTIC WEB TECHNOLOGIES; SOCIAL COMMITMENTS; SPECIALIZATION (ORDER); SPRINGER (CO); WEB FRAMEWORK;

AGENTS; COMMUNICATION; COMPUTER NETWORKS; INFORMATION THEORY; INTERNET PROTOCOLS; LAWS AND LEGISLATION; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; ONTOLOGY; SEMANTIC WEB; SEMANTICS; STABILIZERS (AGENTS); STANDARDS; WORLD WIDE WEB;

TECHNOLOGY;

EID: 45449102084     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68234-9_4     Document Type: Conference Paper

References (23)

1. FIPA: FIPA communicative act library specification (July 2005), http://www.fipa.org/specs/fipa00037/SC00037J.html
2. Greenwood, D., Lyell, M., Mallya, A., Suguri, H.: The IEEE FIPA approach to integrating software agents and web services. In: International Conference on Autonomous Agents and Multiagent Systems AAMAS, Hawaii, USA, pp. 14-18 (2007)
3. Bermúdez, J., Goñi, A., Illarramendi, A., Bagüés, M.I.: Interoperation among agent-based information systems through a communication acts ontology. Inf. Syst. 32(8), 1121-1144 (2007)
4. Singh, M.P.: Agent Communication Languages: Rethinking the Principles. IEEE Computer 31(12), 40-47 (1998)
5. Singh, M.P.: A social semantics for agent communication languages. In: Issues in Agent Communication, pp. 31-45. Springer, Heidelberg (2000)
6. Austin, J.L. (ed.): How to do things with words. Oxford University Press, Oxford (1962)
7. Wooldridge, M.: Semantic Issues in the Verification of Agent Comunication Languages. Journal of Autonomous Agents and Multi-Agent Systems 3(1), 9-31 (2000)
8. Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols. Autonomous Agents and Multi-Agent Systems 2(3), 217-236 (1999)
9. Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 536-542. ACM Press, New York (2002)
10. Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409-430. Springer, Heidelberg (1999)
11. Mallya, A.U., Singh, M.P.: An algebra for commitment protocols. Autonomous Agents and Multi-Agent Systems 14(2), 143-163 (2007)
12. Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), July 2002, pp. 527-534. ACM Press, New York (2002)
13. Fornara, N., Colombetti, M.: Defining interaction protocols using a commitment-based agent communication language. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 520-527. ACM Press, New York (2003)
14. Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction protocols as design abstractions for business processes. IEEE Trans. Softw. Eng. 31(12), 1015-1027 (2005)
15. Yolum, P., Singh, M.: Enacting protocols by commitment concession. In: International Conference on Autonomous Agents and Multiagent Systems AAMAS, Hawaii, USA, pp. 116-123 (2007)
16. Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic service composition based on behavioral descriptions. Int. J. Cooperative Inf. Syst. 14(4), 333-376 (2005)
17. Bordeaux, L., Salaün, G., Berardi, D., Mecella, M.: When are two web services compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15-28. Springer, Heidelberg (2005)
18. Kagal, L., Finin, T.: Modeling conversation policies using permissions and obligations. Autonomous Agents and Multi-Agent Systems 14(2), 187-206 (2007)
19. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic-based agent communication protocols. In: Workshop on Agent Communication Languages, pp. 91-107 (2003)
20. Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: A priori conformance verification for guaranteeing interoperability in open environments. In: Georgakopoulos, D., Rit-ter, N., Benatallah, B., Zirpins, C., Feuerlicht, G., Schoenherr, M., Motahari-Nezhad, H.R. (eds.) ICSOC 2006. LNCS, vol. 4652, pp. 339-351. Springer, Heidelberg (2007)
21. Chopra, A.K., Singh, M.P.: Producing compliant interactions: Conformance, coverage, and interoperability. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 1-15. Springer, Heidelberg (2006)
22. d'Inverno, M., Kinny, D., Luck, M.: Interaction protocols in agentis. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), pp. 261-268 (1998)
23. Mazouzi, H., Seghrouchni, A.E.F., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 517-526. ACM Press, New York (2002)