Logics in artificial intelligence 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings / - Janhunen, Tomi.; Niemelä, Ilkka, (Springer,)