Logics in Artificial Intelligence, 12th European Conference, JELIA~2010, Helsinki, Finland, September 2010, Proceedings (2010)
Janhunen, Tomi and Niemelä, Ilkka