This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th Internationa

The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Fo

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Engineering Societies in the Agents World, ESAW 2005. The bo

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, hel