Logic for programmming artificial intelligence, and reasoning : 15th International Conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings - Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei, 1959- (Lecture notes in computer science. Lecture notes in artificial intelligence ;, 2008)