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

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...

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

This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deont...

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

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

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

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

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