Logics in artificial intelligence 12th european conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings - Janhunen, Tomi; Niemel©Þ, Ilkka (Lecture Notes in Computer Science, 2010)