JELIA 2010, 12th European Conference on Logics in Artificial Intelligence