Lupe
Suche

Autor: Koen V. Hindriks

Support

5 Ebooks von Koen V. Hindriks

Mehdi Dastani & Koen V. Hindriks: Specification and Verification of Multi-agent Systems
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 …
PDF
Englisch
€149.79
Koen V. Hindriks & Matthias Klusch: Cooperative Information Agents XI
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. …
PDF
Englisch
DRM
€55.97
Koen V. Hindriks & Alexander Pokahr: Programming Multi-Agent Systems
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 …
PDF
Englisch
DRM
€56.14
Martin Beer & Cyril Brom: Cognitive Agents for Virtual Environments
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. …
PDF
Englisch
DRM
€52.27
Moonis Ali & Tibor Bosse: Recent Trends in Applied Artificial Intelligence
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 …
PDF
Englisch
DRM
€56.24