João Leite Paolo Torroni Thomas Ågotnes Guido Boella Leon van der Torre Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings 6814 2011 Springer Lecture Notes in Computer Science http://dx.doi.org/10.1007/978-3-642-22359-4 978-3-642-22358-7 CLIMA db/conf/clima/clima2011.html