Logics in artificial intelligence 10th european conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 ; proceedings (Springer, 2006)