Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings / - Leite, João Alexandre. (Springer,, 2011)