Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings - Fisher, Michael; Hoek, Wiebe van der; Konev, Boris; Lisitsa, Alexei (Springer Berlin Heidelberg, 2006)