Denis K. Ponomaryov

CoRR, 2024

EEvA: Fast Expert-Based Algorithms for Buffer Page Replacement.

[BibT_eX]

[DOI]

CoRR, 2024

2022

Machine Learning with Probabilistic Law Discovery: A Concise Introduction.

[BibT_eX]

[DOI]

CoRR, 2022

Interpretable Reinforcement Learning with Multilevel Subgoal Discovery.

[BibT_eX]

[DOI]

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

2021

Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2021

2020

The complexity of AND - decomposition of Boolean functions.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2020

On Termination of Transactions over Semantic Document Models.

[BibT_eX]

[DOI]

Andrei Mantsivoda

CoRR, 2020

2019

The Expressiveness of Looping Terms in the Semantic Programming.

[BibT_eX]

[DOI]

Sergey Goncharov

Sergey Ospichev

Dmitri Ivanovich Sviridenko

CoRR, 2019

Parallel Factorization of Boolean Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2019

A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2019

2018

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

[BibT_eX]

[DOI]

Stepan Yakovenko

CoRR, 2018

On Polytime Algorithm for Factorization of Multilinear Polynomials Over F2.

[BibT_eX]

[DOI]

CoRR, 2018

A Polytime Delta-Decomposition Algorithm for Positive DNFs.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

Stepan Yakovenko

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Gregor Behnke

Florian Nielsen

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

Progression of Decomposed Local-Effect Action Theories.

[BibT_eX]

[DOI]

Mikhail Soutchanski

ACM Trans. Comput. Log., 2017

On the Complexity of Semantic Integration of OWL Ontologies.

[BibT_eX]

[DOI]

Yevgeny Kazakov

Proceedings of the 30th International Workshop on Description Logics, 2017

2015

Algorithmic issues of AND-decomposition of boolean formulas.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2015

Ontology-supported Exploratory Search for Physical Training Exercises.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Gregor Behnke

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Integrating Ontologies and Planning for Cognitive Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning.

[BibT_eX]

Gregor Behnke

Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

2014

On Tractability of Disjoint AND-Decomposition of Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2014

2013

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mikhail Soutchanski

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

2012

Probabilistic generalization of formal concepts.

[BibT_eX]

[DOI]

Evgenii Vityaev

Program. Comput. Softw., 2012

On Definability and Redundancy in $\cal{EL}$ -TBoxes.

[BibT_eX]

[DOI]

Dmitry Vlasov

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

2011

Probabilistic Concepts in Formal Contexts.

[BibT_eX]

[DOI]

Evgenii Vityaev

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Decomposing Description Logic Ontologies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]