This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools fo

Artificial Intelligence (AI) is a rapidly growing inter-disciplinary field with a long and distinguished history that involves many countries and considerably p

Featuring the viewpoint of expert members of the IFIP Technical Committee 12, its Working Groups and their colleagues, this book provides an international persp

The field of agent and multi-agent systems is concerned with the development and evaluation of sophisticated, AI-based, problem solving and control architecture

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems