Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings - Janhunen, Tomi; Niemelä, Ilkka (Springer Berlin Heidelberg, 2010)