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