Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings - Steffen Hölldobler, Carsten Lutz, Heinrich Wansing ((Lecture Notes in Computer Science))