Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings - João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre ((Lecture Notes in Computer Science))