|
СТ |
On Tractability of Disjoint AND-Decomposition of Boolen Formulas |
2015 |
Emelyanov P., Ponomaryov D. |
Lecture Notes in Computer Science |
|
|
|
02.09.2015 |
|
СТ |
Component properties of forgetting and progression in the situation calculus |
2012 |
Ponomaryov D., Soutchanski M. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
25.03.2013 |
|
СТ |
Probabilistic Concepts in Fopmal Contexts |
2012 |
Demin A., Ponomaryov D., Vityaev E. |
Lecture Notes in Computer Science |
|
|
|
18.02.2013 |
|
СТ |
Properties of Relatively Decomposable Theories |
2007 |
Ponomaryov D. |
|
|
|
Знания-Онтологии-Теории |
14.05.2011 |
|
П |
Lattice Semantics for Incremental Data Extraction from Declarative Knowledge Bases |
2006 |
Ponomaryov D. |
|
|
IIS SB RAS |
|
04.08.2006 |
