Виньков Михаил Михайлович, к.т.н.
Тип публикации | Авторы | Заглавие | Издание, год, номер, страницы |
---|---|---|---|
Материал конференции |
Vinkov M. МГТУ
Ivanov V. Fominykh I. Sukhanov A. |
Extended First-Order Step Theories |
Lecture Notes in Networks and Systems
2022
.-
Vol. 330 LNNS
.-
С.
128 - 136
|
Материал конференции |
Vinkov M. МГТУ
Fominykh I. Romanchuk S. |
Control of the cognitive process in hard real-time environment in the context of the extended stepping theories of active logic |
Advances in Intelligent Systems and Computing
2019
.-
Vol. 874
.-
С.
235 - 243
|
Материал конференции |
Fominykh I.
Vinkov M. МГТУ |
Step Theories of Active Logic and Extended Logical Programs |
Advances in Intelligent Systems and Computing
2018
.-
Vol. 679
.-
С.
192 - 201
|
Материал конференции |
Vinkov M. МГТУ
Fominykh I. |
Extended stepping theories of active logic: Paraconsistent semantics |
Communications in Computer and Information Science
2018
.-
Vol. 934
.-
С.
70 - 78
|
Статья в журнале |
Виньков Михаил Михайлович МГТУ
Фоминых И. Б. |
Аргументационная семантика для шаговых теорий активной логики с грануляцией времени |
Искусственный интеллект и принятие решений
2015
.-
№ 3
.-
С.
3 - 9
|
Статья в журнале |
Фоминых И. Б.
Виньков Михаил Михайлович МГТУ Пожидаев А. К. |
Активная логика и логическое программирование: объединение двух концепций |
Программные продукты и системы
2015
.-
№ 3
.-
С.
42 - 48
|
Статья в журнале |
Виньков Михаил Михайлович МГТУ
Фоминых И. Б. |
Рассуждения о знаниях и проблема логического всеведения. Часть 2. Введение темпорального параметра в метаязык |
Искусственный интеллект и принятие решений
2014
.-
№ 1
.-
С.
3 - 10
|