Författare: John-Jules Meyer

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 …

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent technologies for Interactive Entertainment, INTETAIN 2016, held in Utrecht, The Netherlands, in June …

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney …