Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings (2012)