Denis K. Ponomaryov

39 papers A* 3B 1C 1Misc 1Journal 19Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Practical MCTS-based Query Optimization: A Reproducibility Study and new MCTS algorithm for complex queries.
CoRR
Vladimir Burlakov, Alena Rybakina, Sergey Kudashev, Konstantin Gilev, Alexander Demin, Denis K. Ponomaryov, Yuriy Dorn
2024 J jnl
Adaptive Cost Model for Query Optimization.
CoRR
Nikita Vasilenko, Alexander Demin, Denis K. Ponomaryov
2024 J jnl
Competitive Ratio of Online Caching with Predictions: Lower and Upper Bounds.
CoRR
Daniel Skachkov, Denis K. Ponomaryov, Yuri Dorn, Alexander Demin
2024 J jnl
EEvA: Fast Expert-Based Algorithms for Buffer Page Replacement.
CoRR
Alexander Demin, Yuriy Dorn, Aleksandr Katrutsa, Daniil Kazantsev, Ilgam Latypov, Yulia Maximlyuk, Denis K. Ponomaryov
2024 J jnl
The Selection Problem in Multi-Query Optimization: a Comprehensive Survey.
CoRR
Sergey Zinchenko, Denis K. Ponomaryov
2023 — ed.
Artificial General Intelligence - 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
AGI
Ben Goertzel, Matt Iklé, Alexey Potapov, Denis K. Ponomaryov
2022 C conf
Interpretable Reinforcement Learning with Multilevel Subgoal Discovery.
ICMLA
Alexander V. Demin, Denis K. Ponomaryov
2022 J jnl
Interpretable Reinforcement Learning with Multilevel Subgoal Discovery.
CoRR
Alexander V. Demin, Denis K. Ponomaryov
2022 J jnl
Machine Learning with Probabilistic Law Discovery: A Concise Introduction.
CoRR
Alexander V. Demin, Denis K. Ponomaryov
2021 J jnl
Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation.
Program. Comput. Softw.
Pavel G. Emelyanov, Madhava Krishna, Vadiraj Kulkarni, S. K. Nandy, Denis K. Ponomaryov, Soumyendu Raha
2020 J jnl
On Termination of Transactions over Semantic Document Models.
CoRR
Andrei Mantsivoda, Denis K. Ponomaryov
2020 J jnl
The complexity of AND - decomposition of Boolean functions.
Discret. Appl. Math.
Pavel G. Emelyanov, Denis K. Ponomaryov
2019 Misc conf
A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs.
CSR
Denis K. Ponomaryov
2019 — conf
Parallel Factorization of Boolean Polynomials.
Ershov Informatics Conference
Vadiraj Kulkarni, Pavel G. Emelyanov, Denis K. Ponomaryov, Madhava Krishna, Soumyendu Raha, S. K. Nandy
2019 J jnl
The Expressiveness of Looping Terms in the Semantic Programming.
CoRR
Sergey Goncharov, Sergey Ospichev, Denis K. Ponomaryov, Dmitri Ivanovich Sviridenko
2018 J jnl
A Polytime Delta-Decomposition Algorithm for Positive DNFs.
CoRR
Denis K. Ponomaryov
2018 — conf
DeFind: A Protege Plugin for Computing Concept Definitions in
JIST
Denis K. Ponomaryov, Stepan Yakovenko
2018 J jnl
DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies.
CoRR
Denis K. Ponomaryov, Stepan Yakovenko
2018 J jnl
On Polytime Algorithm for Factorization of Multilinear Polynomials Over F2.
CoRR
Pavel G. Emelyanov, Denis K. Ponomaryov
2018 B conf
On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2.
CASC
Pavel G. Emelyanov, Denis K. Ponomaryov
2017 — conf
On the Complexity of Semantic Integration of OWL Ontologies.
Description Logics
Yevgeny Kazakov, Denis K. Ponomaryov
2017 J jnl
On the Complexity of Semantic Integration of OWL Ontologies.
CoRR
Yevgeny Kazakov, Denis K. Ponomaryov
2017 J jnl
Progression of Decomposed Local-Effect Action Theories.
CoRR
Denis K. Ponomaryov, Mikhail Soutchanski
2017 J jnl
Progression of Decomposed Local-Effect Action Theories.
ACM Trans. Comput. Log.
Denis K. Ponomaryov, Mikhail Soutchanski
2017 — ch.
To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process.
Companion Technology
Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Denis K. Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker, Susanne Biundo
2015 — conf
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning.
ISCT
Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo
2015 J jnl
Algorithmic issues of AND-decomposition of boolean formulas.
Program. Comput. Softw.
Pavel G. Emelyanov, Denis K. Ponomaryov
2015 A* conf
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
IJCAI
Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
2015 — conf
Integrating Ontologies and Planning for Cognitive Systems.
Description Logics
Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller
2015 — conf
Ontology-supported Exploratory Search for Physical Training Exercises.
ISWC (Posters & Demos)
Michael Kotzyba, Denis K. Ponomaryov, Thomas Low, Marcus Thiel, Birte Glimm, Andreas Nürnberger
2014 — conf
On Tractability of Disjoint AND-Decomposition of Boolean Formulas.
Ershov Memorial Conference
Pavel G. Emelyanov, Denis K. Ponomaryov
2013 — conf
Concept Definability and Interpolation in Enriched Models of EL-TBoxes.
Description Logics
Denis K. Ponomaryov, Dmitry Vlasov
2013 A* conf
Progression of Decomposed Situation Calculus Theories.
AAAI
Denis K. Ponomaryov, Mikhail Soutchanski
2012 — conf
On Definability and Redundancy in $\cal{EL}$ -TBoxes.
RR
Denis K. Ponomaryov, Dmitry Vlasov
2012 J jnl
Probabilistic generalization of formal concepts.
Program. Comput. Softw.
Evgenii Vityaev, Alexander V. Demin, Denis K. Ponomaryov
2011 — conf
Probabilistic Concepts in Formal Contexts.
Ershov Memorial Conference
Alexander V. Demin, Denis K. Ponomaryov, Evgenii Vityaev
2010 A* conf
Decomposing Description Logic Ontologies.
KR
Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter
2007 — conf
From Published Expression and Phenotype Data to Structured Knowledge: The Arabidopsis Gene Net Supplementary Database and Its Applications.
KONT/KPP
Denis K. Ponomaryov, Nadezhda Omelianchuk, Victoria V. Mironova, Eugene Zalevsky, Nikolay L. Podkolodny, Eric Mjolsness, Nikolay A. Kolchanov
2006 — conf
SemanticWeb Basics in Logical Consideration.
GI Jahrestagung (2)
Denis K. Ponomaryov