This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in Apr

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its import

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Radical Agent Concepts, WRAC 2005, held in Greenbelt, MD,

This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held on 16–18 January, 2002 at the Science