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)

Artificial General Intelligence - 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings - Ben Goertzel; Matt Iklé; Alexey Potapov; Denis K. Ponomaryov (Springer, 2023)

Interpretable Reinforcement Learning with Multilevel Subgoal Discovery - Alexander V. Demin; Denis K. Ponomaryov (21st IEEE International Conference on Machine Learning and Applications, ICMLA 2022, Nassau, Bahamas, December 12-14, 2022, 2022)

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

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

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

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

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

A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs - Denis K. Ponomaryov (Computer Science - Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings, 2019)

Parallel Factorization of Boolean Polynomials - Vadiraj Kulkarni; Pavel G. Emelyanov; Denis K. Ponomaryov; Madhava Krishna C; Soumyendu Raha; S. K. Nandy (Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers, 2019)

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

On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2 - Pavel G. Emelyanov; Denis K. Ponomaryov (Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings, 2018)

DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies - Denis K. Ponomaryov; Stepan Yakovenko (Semantic Technology - 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26-28, 2018, Proceedings, 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)

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

On the Complexity of Semantic Integration of OWL Ontologies - Yevgeny Kazakov; Denis K. Ponomaryov (Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, 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 - A Paradigm Shift in Human-Technology Interaction, 2017)

Progression of Decomposed Local-Effect Action Theories - Denis K. Ponomaryov; Mikhail Soutchanski (CoRR, 2017)

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

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

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 (Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), September 23rd-25th, Ulm University, Germany, 2015)

Integrating Ontologies and Planning for Cognitive Systems - Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Denis K. Ponomaryov; Marvin R. G. Schiller (Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, 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 (Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, 2015)

Ontology-supported Exploratory Search for Physical Training Exercises - Michael Kotzyba; Denis K. Ponomaryov; Thomas Low; Marcus Thiel; Birte Glimm; Andreas Nürnberger (Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), Bethlehem, PA, USA, October 11, 2015, 2015)

On Tractability of Disjoint AND-Decomposition of Boolean Formulas - Pavel G. Emelyanov; Denis K. Ponomaryov (Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, 2014)

Progression of Decomposed Situation Calculus Theories - Denis K. Ponomaryov; Mikhail Soutchanski (Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA, 2013)

Concept Definability and Interpolation in Enriched Models of EL-TBoxes - Denis K. Ponomaryov; Dmitry Vlasov (Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, 2013)

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

On Definability and Redundancy in \cal{EL} -TBoxes - Denis K. Ponomaryov; Dmitry Vlasov (Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, 2012)

Probabilistic Concepts in Formal Contexts - Alexander V. Demin; Denis K. Ponomaryov; Evgenii Vityaev (Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers, 2011)

Decomposing Description Logic Ontologies - Boris Konev; Carsten Lutz; Denis K. Ponomaryov; Frank Wolter (Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010)

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 (Knowledge Processing and Data Analysis - First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers, 2007)

SemanticWeb Basics in Logical Consideration - Denis K. Ponomaryov (36. Jahrestagung der Gesellschaft für Informatik, Informatik für Menschen, INFORMATIK 2006, Dresden, Germany, October 2-6, 2006, Band 2, 2006)