Download Logic For Programming, Artificial Intelligence, And Reasoning: 15Th International Conference, Lpar 2008, Doha, Qatar, November 22 27, 2008. Proceedings