Denis K. Ponomaryov

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 24

Top Topics

Top Venues

Program. Comput. Softw.

Description Logics

Publications

Alexander Demin, Yuriy Dorn, Aleksandr Katrutsa, Daniil Kazantsev, Ilgam Latypov, Yulia Maximlyuk, Denis K. Ponomaryov
EEvA: Fast Expert-Based Algorithms for Buffer Page Replacement. CoRR (2024)
Alexander V. Demin, Denis K. Ponomaryov
Interpretable Reinforcement Learning with Multilevel Subgoal Discovery. ICMLA (2022)
Alexander V. Demin, Denis K. Ponomaryov
Interpretable Reinforcement Learning with Multilevel Subgoal Discovery. CoRR (2022)
Alexander V. Demin, Denis K. Ponomaryov
Machine Learning with Probabilistic Law Discovery: A Concise Introduction. CoRR (2022)
Pavel G. Emelyanov, Madhava Krishna C, Vadiraj Kulkarni, S. K. Nandy, Denis K. Ponomaryov, Soumyendu Raha
Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation. Program. Comput. Softw. 47 (2) (2021)
Pavel G. Emelyanov, Denis K. Ponomaryov
The complexity of AND - decomposition of Boolean functions. Discret. Appl. Math. 280 (2020)
Andrei Mantsivoda, Denis K. Ponomaryov
On Termination of Transactions over Semantic Document Models. CoRR (2020)
Denis K. Ponomaryov
A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs. CSR (2019)
Vadiraj Kulkarni, Pavel G. Emelyanov, Denis K. Ponomaryov, Madhava Krishna C, Soumyendu Raha, S. K. Nandy
Parallel Factorization of Boolean Polynomials. Ershov Informatics Conference (2019)
Sergey Goncharov, Sergey Ospichev, Denis K. Ponomaryov, Dmitry Sviridenko
The Expressiveness of Looping Terms in the Semantic Programming. CoRR (2019)
Pavel G. Emelyanov, Denis K. Ponomaryov
On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2. CASC (2018)
Pavel G. Emelyanov, Denis K. Ponomaryov
On Polytime Algorithm for Factorization of Multilinear Polynomials Over F2. CoRR (2018)
Denis K. Ponomaryov
A Polytime Delta-Decomposition Algorithm for Positive DNFs. CoRR (2018)
Denis K. Ponomaryov, Stepan Yakovenko
DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies. CoRR (2018)
Denis K. Ponomaryov, Stepan Yakovenko
Ontologies. JIST (2018)
Yevgeny Kazakov, Denis K. Ponomaryov
On the Complexity of Semantic Integration of OWL Ontologies. Description Logics (2017)
Denis K. Ponomaryov, Mikhail Soutchanski
Progression of Decomposed Local-Effect Action Theories. ACM Trans. Comput. Log. 18 (2) (2017)
Denis K. Ponomaryov, Mikhail Soutchanski
Progression of Decomposed Local-Effect Action Theories. CoRR (2017)
Yevgeny Kazakov, Denis K. Ponomaryov
On the Complexity of Semantic Integration of OWL Ontologies. CoRR (2017)
Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller
Integrating Ontologies and Planning for Cognitive Systems. Description Logics (2015)
Pavel G. Emelyanov, Denis K. Ponomaryov
Algorithmic issues of AND-decomposition of boolean formulas. Program. Comput. Softw. 41 (3) (2015)
Michael Kotzyba, Denis K. Ponomaryov, Thomas Low, Marcus Thiel, Birte Glimm, Andreas Nürnberger
Ontology-supported Exploratory Search for Physical Training Exercises. ISWC (Posters & Demos) (2015)
Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT (2015)
Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI (2015)
Pavel G. Emelyanov, Denis K. Ponomaryov
On Tractability of Disjoint AND-Decomposition of Boolean Formulas. Ershov Memorial Conference (2014)
Denis K. Ponomaryov, Mikhail Soutchanski
Progression of Decomposed Situation Calculus Theories. AAAI (2013)
Denis K. Ponomaryov, Dmitry Vlasov
Concept Definability and Interpolation in Enriched Models of EL-TBoxes. Description Logics (2013)
Evgenii Vityaev, Alexander V. Demin, Denis K. Ponomaryov
Probabilistic generalization of formal concepts. Program. Comput. Softw. 38 (5) (2012)
Denis K. Ponomaryov, Dmitry Vlasov
On Definability and Redundancy in $\cal{EL}$ -TBoxes. RR (2012)
Alexander V. Demin, Denis K. Ponomaryov, Evgenii Vityaev
Probabilistic Concepts in Formal Contexts. Ershov Memorial Conference (2011)
Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter
Decomposing Description Logic Ontologies. KR (2010)
Denis K. Ponomaryov, Nadezhda Omelianchuk, Victoria V. Mironova, Eugene Zalevsky, Nikolay L. Podkolodny, Eric Mjolsness, Nikolay A. Kolchanov
From Published Expression and Phenotype Data to Structured Knowledge: The Arabidopsis Gene Net Supplementary Database and Its Applications. KONT/KPP (2007)
Denis K. Ponomaryov
SemanticWeb Basics in Logical Consideration. GI Jahrestagung (2) (2006)