Page 1
Page 1
Multi-Agent Programming : Languages, Platforms and Applications
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. These programming languages have formal semantics and use heavy machinery based on formal methods, but also provide working platforms for the development of multi-agent systems. Part II presents agent languages and platforms that extend or are based on Java--JADE, Jadex, and JACKTM. Although these have no formal semantics, the languages are well documented and the platforms provide a variety of tools that have been extensively used in practice. Part III provides two significant industry specific applications--The DEFACTO System for coordinating human-agent teams for the future of disaster response, and the ARTIMIS rational dialogue agent technology. The book also features seven appendices, summarising each of the agent programming languages, hence facilitating comparison of the approaches. In particular, Appendix A describes the criteria used for comparing the agent languages and platforms.
Intelligent Agents and Multi-Agent Systems ; 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008.The 19 regular papers and 22 short papers presented together with 3 keynote speeches, were carefully reviewed and selected from 56 submissions. Many current subjects in multi-agent research and development are addressed, ranging from theoretical and methodological issues to various applications in different fields. There was a track on multi-issue negotiation and agents and HCI.
Declarative agent languages and technologiesV ; 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007.
Declarative agent languages and technologies IV ; 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006. This was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with one invited talk and three invited papers were carefully selected for inclusion in the book.
Declarative agent languages and technologies III ; 3rd International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee ?exibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems.
Declarative agent languages and technologies II ; 2nd international workshop, DALT 2004, New York, NY, USA, July 19, 2004, revised selected papers
Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT’s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation.
