Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings - Fisher, Michael; Torre, Leon van der; Dastani, Mehdi; Governatori, Guido (Springer Berlin Heidelberg : Imprint: Springer, 2012)