Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings - Leite, João; Torroni, Paolo; Ågotnes, Thomas; Boella, Guido; Torre, Leon van der (Springer Berlin Heidelberg : Imprint: Springer, 2011)