SemanticWeb Basics in Logical Consideration. - Denis K. Ponomaryov (GI Jahrestagung (2), 2006)

From Published Expression and Phenotype Data to Structured Knowledge: The Arabidopsis Gene Net Supplementary Database and Its Applications. - Denis K. Ponomaryov; Nadezhda Omelianchuk; Victoria V. Mironova; Eugene Zalevsky; Nikolay L. Podkolodny; Eric Mjolsness; Nikolay A. Kolchanov (KONT/KPP, 2007)

Decomposing Description Logic Ontologies. - Boris Konev; Carsten Lutz; Denis K. Ponomaryov; Frank Wolter (KR, 2010)

Probabilistic Concepts in Formal Contexts. - Alexander V. Demin; Denis K. Ponomaryov; Evgenii Vityaev 001 (Ershov Memorial Conference, 2011)

On Definability and Redundancy in $ cal{EL}$ -TBoxes. - Denis K. Ponomaryov; Dmitry Vlasov (RR, 2012)

Probabilistic generalization of formal concepts. - Evgenii Vityaev 001; Alexander V. Demin; Denis K. Ponomaryov (Program. Comput. Softw., 2012)

Progression of Decomposed Situation Calculus Theories. - Denis K. Ponomaryov; Mikhail Soutchanski (AAAI, 2013)

Concept Definability and Interpolation in Enriched Models of EL-TBoxes. - Denis K. Ponomaryov; Dmitry Vlasov (Description Logics, 2013)

On Tractability of Disjoint AND-Decomposition of Boolean Formulas. - Pavel G. Emelyanov; Denis K. Ponomaryov (Ershov Memorial Conference, 2014)

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. - Gregor Behnke; Marvin R. G. Schiller; Denis K. Ponomaryov; Florian Nothdurft; Pascal Bercher; Wolfgang Minker; Birte Glimm; Susanne Biundo (ISCT, 2015)

Integrating Ontologies and Planning for Cognitive Systems. - Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Denis K. Ponomaryov; Marvin R. G. Schiller (Description Logics, 2015)

Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. - Gregor Behnke; Denis K. Ponomaryov; Marvin R. G. Schiller; Pascal Bercher; Florian Nothdurft; Birte Glimm; Susanne Biundo (IJCAI, 2015)

Ontology-supported Exploratory Search for Physical Training Exercises. - Michael Kotzyba; Denis K. Ponomaryov; Thomas Low; Marcus Thiel; Birte Glimm; Andreas Nürnberger (ISWC (Posters & Demos), 2015)

Algorithmic issues of AND-decomposition of boolean formulas. - Pavel G. Emelyanov; Denis K. Ponomaryov (Program. Comput. Softw., 2015)

On the Complexity of Semantic Integration of OWL Ontologies. - Yevgeny Kazakov; Denis K. Ponomaryov (Description Logics, 2017)

Progression of Decomposed Local-Effect Action Theories. - Denis K. Ponomaryov; Mikhail Soutchanski (ACM Trans. Comput. Log., 2017)

To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. - Gregor Behnke; Florian Nielsen; Marvin R. G. Schiller; Denis K. Ponomaryov; Pascal Bercher; Birte Glimm; Wolfgang Minker; Susanne Biundo (Companion Technology, 2017)

On a Polytime Factorization Algorithm for Multilinear Polynomials over mathbb F_2. - Pavel G. Emelyanov; Denis K. Ponomaryov (CASC, 2018)

DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies. - Denis K. Ponomaryov; Stepan Yakovenko (JIST, 2018)

A Polytime Delta-Decomposition Algorithm for Positive DNFs. - Denis K. Ponomaryov (CoRR, 2018)

On Polytime Algorithm for Factorization of Multilinear Polynomials Over F2. - Pavel G. Emelyanov; Denis K. Ponomaryov (CoRR, 2018)

DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies. - Denis K. Ponomaryov; Stepan Yakovenko (CoRR, 2018)

A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs. - Denis K. Ponomaryov (CSR, 2019)

Parallel Factorization of Boolean Polynomials. - Vadiraj Kulkarni; Pavel G. Emelyanov; Denis K. Ponomaryov; Madhava Krishna C; Soumyendu Raha; S. K. Nandy 001 (Ershov Informatics Conference, 2019)

The Expressiveness of Looping Terms in the Semantic Programming. - Sergey Goncharov 002; Sergey Ospichev; Denis K. Ponomaryov; Dmitri Ivanovich Sviridenko (CoRR, 2019)

On Termination of Transactions over Semantic Document Models. - Andrei Mantsivoda; Denis K. Ponomaryov (CoRR, 2020)

The complexity of AND - decomposition of Boolean functions. - Pavel G. Emelyanov; Denis K. Ponomaryov (Discret. Appl. Math., 2020)

Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation. - Pavel G. Emelyanov; Madhava Krishna C; Vadiraj Kulkarni; S. K. Nandy 001; Denis K. Ponomaryov; Soumyendu Raha (Program. Comput. Softw., 2021)

Interpretable Reinforcement Learning with Multilevel Subgoal Discovery. - Alexander V. Demin; Denis K. Ponomaryov (ICMLA, 2022)

Machine Learning with Probabilistic Law Discovery: A Concise Introduction. - Alexander V. Demin; Denis K. Ponomaryov (CoRR, 2022)

EEvA: Fast Expert-Based Algorithms for Buffer Page Replacement. - Alexander Demin; Yuriy Dorn; Aleksandr Katrutsa; Daniil Kazantsev; Ilgam Latypov; Yulia Maximlyuk; Denis K. Ponomaryov (CoRR, 2024)

Adaptive Cost Model for Query Optimization. - Nikita Vasilenko; Alexander Demin; Denis K. Ponomaryov (CoRR, 2024)

Competitive Ratio of Online Caching with Predictions: Lower and Upper Bounds. - Daniel Skachkov; Denis K. Ponomaryov; Yuri Dorn; Alexander Demin (CoRR, 2024)

The Selection Problem in Multi-Query Optimization: a Comprehensive Survey. - Sergey Zinchenko; Denis K. Ponomaryov (CoRR, 2024)