TY - DATA AU - Fisher,Michael AU - Hoek,Wiebe AU - Konev,Boris AU - Lisitsa,Alexei ED - SpringerLink (Online service) TI - Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings SN - 9783540396277 AV - Q334 F57 2006 PY - 2006/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Programming Techniques KW - Mathematical Logic and Formal Languages UR - http://dx.doi.org/10.1007/11853886 ER -