| 
Поиск по ключевому слову "модальная логика"
Верификация знаний, полученных при изучении моделей бизнес-процессов
| Авторы: Девятков В.В., Кадырбаева А.Р. | Опубликовано: 20.12.2020 |
| Опубликовано в выпуске: #4(133)/2020 | |
| DOI: 10.18698/0236-3933-2020-4-99-113 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: верификация знаний, тестовые задания, модальная логика, язык логического программирования Пролог | |
Верификация свойств интеллектуальных интерфейсов в логике тайлов
| Авторы: Девятков В.В. | Опубликовано: 15.06.2016 |
| Опубликовано в выпуске: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-65-87 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: свойства интеллектуальных интерфейсов, логика тайлов, модальная логика, верификация свойств, интеллектуальные агенты, язык логического программирования Visual Prolog | |
Автоматизация проверки некорректности конфигурирования сетевых экранов
| Авторы: Девятков В.В., Мьо Тан Тун | Опубликовано: 08.02.2015 |
| Опубликовано в выпуске: #1(100)/2015 | |
| DOI: 10.18698/0236-3933-2015-1-100-110 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Вычислительные системы и их элементы | |
| Ключевые слова: межсетевой экран, процесс, модальная логика, язык логического программирования PROLOG | |