Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings - Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori ((Lecture Notes in Computer Science))