Denis K. Ponomaryov

According to our database, Denis K. Ponomaryov authored at least 30 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Machine Learning with Probabilistic Law Discovery: A Concise Introduction.

Alexander V. Demin, Denis K. Ponomaryov

CoRR, 2022

Interpretable Reinforcement Learning with Multilevel Subgoal Discovery.

Alexander V. Demin, Denis K. Ponomaryov

Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

2021

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

2020

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

2019

The Expressiveness of Looping Terms in the Semantic Programming.

Sergey Goncharov, Sergey Ospichev, Denis K. Ponomaryov, Dmitri Ivanovich Sviridenko

CoRR, 2019

Parallel Factorization of Boolean Polynomials.

Vadiraj Kulkarni, Pavel G. Emelyanov, Denis K. Ponomaryov, Madhava Krishna C, Soumyendu Raha, S. K. Nandy

Proceedings of the Perspectives of System Informatics, 2019

A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs.

Denis K. Ponomaryov

Proceedings of the Computer Science - Theory and Applications, 2019

2018

DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies.

Denis K. Ponomaryov, Stepan Yakovenko

CoRR, 2018

On Polytime Algorithm for Factorization of Multilinear Polynomials Over F2.

Pavel G. Emelyanov, Denis K. Ponomaryov

CoRR, 2018

A Polytime Delta-Decomposition Algorithm for Positive DNFs.

Denis K. Ponomaryov

CoRR, 2018

DeFind: A Protege Plugin for Computing Concept Definitions in <i>EL</i> Ontologies.

Denis K. Ponomaryov, Stepan Yakovenko

Proceedings of the Semantic Technology - 8th Joint International Conference, 2018

On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2.

Pavel G. Emelyanov, Denis K. Ponomaryov

Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

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

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

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, 2017

2015

Algorithmic issues of AND-decomposition of boolean formulas.

Pavel G. Emelyanov, Denis K. Ponomaryov

Program. Comput. Softw., 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), 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, 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, 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), 2015

2014

On Tractability of Disjoint AND-Decomposition of Boolean Formulas.

Pavel G. Emelyanov, Denis K. Ponomaryov

Proceedings of the Perspectives of System Informatics, 2014

2013

Concept Definability and Interpolation in Enriched Models of EL-TBoxes.

Denis K. Ponomaryov, Dmitry Vlasov

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Progression of Decomposed Situation Calculus Theories.

Denis K. Ponomaryov, Mikhail Soutchanski

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

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

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

2011

Probabilistic Concepts in Formal Contexts.

Alexander V. Demin, Denis K. Ponomaryov, Evgenii Vityaev

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Decomposing Description Logic Ontologies.

Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2007

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

Proceedings of the Knowledge Processing and Data Analysis - First International Conference, 2007

2006

SemanticWeb Basics in Logical Consideration.

Denis K. Ponomaryov

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006