Logics in Artificial Intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings - Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa ((Lecture Notes in Computer Science))