Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings - Hölldobler, Steffen; Lutz, Carsten; Wansing, Heinrich (Springer Berlin Heidelberg, 2008)