Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
2008
Justification logic
-
Artemov Sergei
-
в сборнике Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, серия Lecture Notes in Artificial Intelligence, место издания Springer, том 5293, тезисы, с. 1-4
DOI