СТ |
A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs |
2019 |
Пономарев Д. К. |
Lecture Notes in Artificial Intelligence |
|
|
LNCS |
17.06.2019 |
СТ |
Алгоритмические вопросы конъюнктивной декомпозиции булевых формул |
2015 |
Емельянов П. Г., Пономарев Д. К. |
|
|
|
Программирование |
21.07.2015 |
СТ |
Вероятностное обоб ение формальных понятий |
2012 |
Витяев Е. Е., Демин А. В., Пономарев Д. К. |
|
|
|
Программирование |
04.12.2012 |
П |
Проблема разложимости при формальном описании знаний |
2006 |
Пономарев Д. К. |
|
|
ИСИ СО РАН |
|
21.03.2011 |
Д |
Синтаксическая однозначность при представлении знаний в логике первого порядка |
2006 |
Пономарев Д. К. |
|
|
|
|
10.01.2007 |
А |
Синтаксическая однозначность при представлении знаний в логике первого порядка |
2006 |
Пономарев Д. К. |
|
|
|
|
10.01.2007 |
СТ |
Задача разложимости элементарных теорий и проблематика минимализации их аксиом |
2006 |
Пономарев Д. К. |
|
|
|
Технологии Microsoft в теории и практике программирования |
31.03.2006 |