Autor: Koen V. Hindriks

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of …

These are the proceedings of the 11th International Workshop on Cooperative Information Agents (CIA 2007), held at the Delft University of Technology, The Netherlands, September 19-21, 2007. Intoday’ …

Thesearetheproceedingsofthe International Workshopon Programming Multi- Agent Systems (Pro MAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an overview of curre …

This book constitutes the refereed post-proceedings of the First International Workshop on Cognitive Agents for Virtual Environments, CAVE 2012, held at AAMAS 2012, in Valencia, Spain, in June 2012. …

This volume constitutes the thoroughly refereed conference proceedings of the 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligence Systems, IEA/AIE 2 …