<P>The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues. </P><P>This
Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited papers
β Scribed by Keith Decker (auth.), Mehdi M. Dastani, JΓΌrgen Dix, Amal El Fallah-Seghrouchni (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 2004
- Tongue
- English
- Leaves
- 230
- Series
- Lecture Notes in Computer Science 3067 : Lecture Notes in Artificial Intelligence
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made to provide novel tools, methods, and frameworks to establish the necessary standards for wider use of MAS as a technology of its own and not only as an attractive paradigm.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Programming of the First International Workshop on Programming Multi-Agent Systems, PROMAS 2003, held in Melbourne, Australia in July 2003 as part of AAMAS 2003. Besides 8 workshop papers, the volume contains 3 invited papers to complete coverage of the relevant aspects. The papers are organized in topical sections on programming multi-agent systems, languages for multi-agent systems, and principles and tools for multi-agent systems.
β¦ Table of Contents
Front Matter....Pages -
A Vision for Multi-agent Systems Programming....Pages 1-17
Implementing Industrial Multi-agent Systems Using JACK TM ....Pages 18-48
Programming Software Agents as Designing Executable Business Processes: A Model-Driven Perspective....Pages 49-71
Verifiable Multi-agent Programs....Pages 72-89
CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents....Pages 90-110
A Programming Language for Cognitive Agents Goal Directed 3APL....Pages 111-130
Team Oriented Programming and Proxy Agents: The Next Generation....Pages 131-148
Developing Agent Interaction Protocols Using Graphical and Logical Methodologies....Pages 149-168
Norm Adoption and Consistency in the NoA Agent Architecture....Pages 169-186
A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems....Pages 187-200
SPACE: A Method to Increase Tracability in MAS Development....Pages 201-220
Back Matter....Pages -
β¦ Subjects
Artificial Intelligence (incl. Robotics); Software Engineering; Computer Communication Networks; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters
π SIMILAR VOLUMES
<P>The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues. </P><P>This
<P>This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Programming Multi-Agent Systems, ProMAS 2004, held in New York, NY, USA in July 2004 as a satellite workshop of AAMAS 2004.</P><P>The 10 revised full papers presented together with two invited ar
<P>This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Programming Multi-Agent Systems, ProMAS 2004, held in New York, NY, USA in July 2004 as a satellite workshop of AAMAS 2004.</P><P>The 10 revised full papers presented together with two invited ar
<P>The area of autonomous agents and multi-agent systems (MAS) has grown into a promising technology offering sensible alternatives for the design of distributed, intelligent systems. Several efforts have been made by researchers and practitioners, both in academia and industry, and by several stand
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Programming Multi-Agent Systems, ProMAS 2008, held in Estoril, Portugal, in May 2008 as an associated event of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Mu