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

Публикации в базе данных Math-Net.Ru

1. Аргументационная семантика для шаговых теорий Активной Логики c грануляцией времени
   
   Искусственный интеллект и принятие решений, 2015, № 3,  3–9
2. Рассуждения о знаниях и проблема логического всеведения. Часть 2: Введение темпорального параметра в метаязык
   
   Искусственный интеллект и принятие решений, 2014, № 1,  3–10
3. Рассуждения о знаниях и проблема логического всеведения. Часть I. Модальный подход
   
   Искусственный интеллект и принятие решений, 2011, № 4,  3–13
4. Темпоральные немонотонные логические системы: взаимосвязи и вычислительная сложность
   
   Искусственный интеллект и принятие решений, 2008, № 4,  19–25