Multi-agent coordination as distributed logic programming

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

Volumn 3132, Issue , 2004, Pages 416-430

  Robertson, David ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; COMPUTER CIRCUITS; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; SPECIFICATIONS;

COMPUTATIONAL LOGIC; CONSTRAINT SOLVING; INTERACTION MODEL; MULTI AGENT SYSTEM SPECIFICATION; MULTI-AGENT COORDINATIONS; PROCESS CALCULI; SOCIAL NORM; TRADITIONAL APPROACHES;

MULTI AGENT SYSTEMS;

EID: 33750697337     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27775-0_29     Document Type: Article

References (19)

1. 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)
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. McIlraith, 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. Robertson, D.: A lightweight coordination calculus for agent social norms. In: AAMAS Workshop on Declarative Agent Languages and Technologies, New York, USA (2004)
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. Clark, K.L., McCabe, F.G.: Go! for multi-threaded deliberative agents. In Leite, J.A., Omicini, A, Sterling, L., Torroni, P., eds.: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003. Melbourne, Victoria, July 15th, 2003. Workshop Notes. (2003) 17-32
10. Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In Castelfranchi, C., Lewis Johnson, W., eds.: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems, Bologna, Italy, Association for Computing Machinery (2002) 1053-1061
11. Walton, C.: Model checking multi-agent web services. In: Proceedings of AAAI Spring Symposium on Semantic Web Services, California, USA (2004)
12. 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)
13. Paolucci, M., Sycara, K., Kawamura, T.: Delivering semantic web services. Technical Report CMU-RI-TR-02-32, Robotics Institute, Carnegie Mellon University (2003)
14. Robertson, D., Correa da Silva, F., Agusti, J., Vasconcelos, W.: A lightweight capability communication mechanism. In: Proceedings of the 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, New Orleans, Louisiana (2000)
15. Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating daml-s web services composition using shop2. In: Proceedings of 2nd International Semantic Web Conference. Volume 2870 of Lecture Notes in Computer Science., Springer-Verlag (2003) 195-210
16. McGinnis, J., Robertson, D., Walton, C.: Using distributed protocols as an implementation of dialogue games. In: Proceedings of the First European workshop on Multi-Agent Systems. (2003)
17. McGinnis, J., Robertson, D.: Dynamic and distributed interaction protocols. In: Proceedings of the Fourth Symposium on Adaptive Agents and Multi-Agent Systems. (2004)
18. Li, G., Chen-Burger, J., Robertson, D.: Mapping a business process model to a semantic web services model. In: Proceedings of the IEEE International Conference on Web Services, San Diego (2004)
19. Hassan, F., Robertson, D.: Constraint relaxation to reduce brittleness of distributed agent ppotocols. In: Proceedings of the ECAI Workshop on Coordination in Emergent Agent Societies, Valencia, Spain (2004)