Logics in artificial intelligence : 13th European conference, JELIA 2012 : Toulouse, France, September 26-28, 2012 : proceedings : journées européennes sur la logique en intelligence artificielle : Sep 2012, Toulouse, France.
(Lecture Notes in Computer Science ; 7519. Lecture Notes in Artificial Intelligence)