Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings - Tomi Janhunen, Ilkka Niemelä ((Lecture Notes in Computer Science))