Computational Logic in Multi-Agent Systems

Know about the book -

Computational Logic in Multi-Agent Systems is written by Jürgen Dix and published by Springer. It's available with International Standard Book Number or ISBN identification 3642168671 (ISBN 10) and 9783642168673 (ISBN 13).

Annotation This book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA X, held in Hamburg, Germany, in September 2009 - co-located with MATES 2009, the 7th German conference on Multi-Agent System Technologies. The 9 full papers, presented together with one invited paper, were carefully selected and reviewed from 18 submissions. The topics covered are formal approaches and model checking, belief-desire-intention, answer set programming and (multi- )agent systems, and coordination and deliberation.