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

ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), ...

This book presents the combined peer-reviewed proceedings of the tenth International Symposium on...

This volume constitutes the thoroughly refereed conference proceedings of the 26th International ...

These are the proceedings of the 11th International Workshop on Cooperative Information Agents (C...

This book constitutes the refereed post-proceedings of the First International Workshop on Cognit...

ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), ...

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

Since its origination in the mid-twentieth century, the area of Artificial Inte...

These are the proceedings of the 11th International Workshop on Cooperative Information Agents (C...

This book constitutes the refereed post-proceedings of the First International Workshop on Cognit...

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