Виньков Михаил Михайлович, к.т.н.

Тип публикации Авторы Заглавие Издание, год, номер, страницы
Материал конференции 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
Статья в журнале Фоминых И. Б.
Виньков Михаил Михайлович МГТУ
Пожидаев А. К.
Активная логика и логическое программирование: объединение двух концепций Программные продукты и системы
Статья в журнале Виньков Михаил Михайлович МГТУ
Фоминых И. Б.
Рассуждения о знаниях и проблема логического всеведения. Часть 2. Введение темпорального параметра в метаязык Искусственный интеллект и принятие решений
2014 .- № 1 .- С. 3 - 10