Computational logic in multi-agent systems : 13th international workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings - Michael Fisher, editor ([, Springer-Verlag], 2012)