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

This book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...

This book constitutes the refereed proceedings of the Third International Workshop on Engineering...

Multi-Agent Systems are a promising technology to develop the next generation open distributed co...

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

This book constitutes the refereed proceedings of the Third International Conference on Logic and...

This book constitutes the proceedings of the 13th International Workshop on Computational Logic i...

These are the post-proceedings of the International Workshop on Programming Multi-Agent Systems (...

Autonomous agents and multi-agent systems have grown into a promising technology offering a credi...

This book constitutes the thoroughly refereed post-conference proceedings of the 10th Internation...

Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date de...

This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM Internat...