Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010: proceedings / eds. T. Janhunen, I. Niemelä, 2010 r=on-line. - Текст : электронный.