A lightweight coordination calculus for agent systems

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

Volumn 3476 LNAI, Issue , 2005, Pages 183-197

  Robertson, David ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; SOCIAL ASPECTS;

SOCIAL CONTEXT; SOCIAL NORM;

MULTI AGENT SYSTEMS;

EID: 26844563373     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11493402_11     Document Type: Conference Paper

References (14)

1. Kagal, L., Finin, T., Joshi, A.: A policy language for pervasive systems. In: Fourth IEEE International Workshop on Policies for Distributed Systems and Networks. (2003)
2. Decker, K., Pannu, A., Sycara, K., Williamson, M.: Designing behaviors for information agents. In: Proceedings of the First International Conference on Autonomous Agents. (1997)
3. Giampapa, J., Sycara, K.: Team-oriented agent coordination in the retsina multi-agent system. Technical Report CMU-RI-TR-02-34, Robotics Institute, Carnegie Mellon University (2002)
4. Mcllraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning. (2002) 482-493
5. Sheshagiri, M., desJardins, M., Finin, T.: A planner for composing services described in daml-s. In: International Conference on Automated Planning and Scheduling. (2003)
6. Greaves, M., Holmback, M., Bradshaw, J.: What is a conversation policy? In Dignum, P., Greaves, F., eds.: Issues in Agent Communication. Springer-Verlag (1999) 118-131
7. Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Intelligent Agents VIII, Lecture Notes in Artificial Intelligence. Volume 2333. Springer-Verlag (2002) 348-366
8. Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems. (2002) 1045-1052
9. Robertson, D.: A lightweight method for coordination of agent oriented web services. In; Proceedings of AAAI Spring Symposium on Semantic Web Services, California, USA (2004)
10. Walton, C.: Model checking multi-agent web services. In: Proceedings of AAAI Spring Symposium on Semantic Web Services, California, USA (2004)
11. Fitoussi, D., Tennenholtz, M.: Choosing social laws for multi-agent systems: Minimality and simplicity. Artificial Intelligence 119 (2000)
12. Huget, M., Esteva, M., Phelps, S., Sierra, C., Wooldridge, M.: Model checking electronic institutions. In: Proceedings of ECAI Workshop on Model Checking and Artificial Intelligence, Lyon, France (2002)
13. Monderer, D.,Tennenholtz, M.: Distributed games: From mechanisms to protocols. In: Proceedings of the Sixth National Conference on Artificial Intelligence. (1999)
14. Labrou, Y., Finin, T.: A semantics approach for KQML: a general purpose communication language for software agents. In: Third International Conference on Knowledge and Information Management. (1994)