You are about to access our book library "Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings (Lecture Notes in Computer Science Book 7519) full version" .