Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings - Cerro, Luis Fariñas del; Herzig, Andreas; Mengin, Jérôme (Springer Berlin Heidelberg : Imprint: Springer, 2012)