Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings - Fisher, Michael; Hoek, Wiebe; Konev, Boris; Lisitsa, Alexei; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Programming Techniques; Mathematical Logic and Formal Languages