This volume, the 6th volume in the DRUMS Handbook series, is part of the after­ math of the succe...

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area o...

This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. Th...

This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the success...

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent...

Objects, Agents, and Features: An Introduction.- Coordinating Agents in OO.- On Feature Orientati...

Formal Models of Agents: An Introduction.- A Model of BDI-Agent in Game-Theoretic Framework.- Dyn...

This book constitutes the thoroughly refereed post-workshop proceedings of the First Internationa...

Epistemic logic has grown from its philosophical beginnings to find diverse applications in compu...

This volume, the 6th volume in the DRUMS Handbook series, is part of the after­ math of the succe...

This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the success...