Logics in artificial intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings / - Fariñas del Cerro, Luis.; Herzig, Andreas.; Mengin, Jérôme. (Springer,)