2 citations · 2 across the 7 of their papers we have counts for
9 papers
Machine Learning with Probabilistic Law Discovery: A Concise Introduction
Alexander Demin, Denis Ponomaryov
Probabilistic Law Discovery (PLD) is a logic based Machine Learning method, which implements a variant of probabilistic rule learning. In several aspects, PLD is close to Decision…
Interpretable Reinforcement Learning with Multilevel Subgoal Discovery
Alexander Demin, Denis Ponomaryov
We propose a novel Reinforcement Learning model for discrete environments, which is inherently interpretable and supports the discovery of deep subgoal hierarchies. In the model, a…
On Termination of Transactions over Semantic Document Models
Andrei Mantsivoda, Denis Ponomaryov
We consider the framework of Document Modeling, which lays the formal basis for representing the document lifecycle in Business Process Management systems. We formulate document mo…
The Expressiveness of Looping Terms in the Semantic Programming
Sergey Goncharov, Sergey Ospichev, Denis Ponomaryov +1
We consider the language of -formulas with list terms interpreted over hereditarily finite list superstructures. We study the complexity of reasoning in extensions of the lang…
DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies
Denis Ponomaryov, Stepan Yakovenko
We introduce an extension to the Protege ontology editor, which allows for discovering concept definitions, which are not explicitly present in axioms, but are logically implied by…
On A Polytime Factorization Algorithm for Multilinear Polynomials Over F2
Pavel Emelyanov, Denis Ponomaryov
In 2010, A. Shpilka and I. Volkovich established a prominent result on the equivalence of polynomial factorization and identity testing. It follows from their result that a multili…
A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs
Denis Ponomaryov
We consider the problem of decomposing a positive DNF into a conjunction of DNFs, which may share a (possibly empty) given set of variables Delta. This problem has interesting conn…
On the Complexity of Semantic Integration of OWL Ontologies
Yevgeny Kazakov, Denis Ponomaryov
We propose a new mechanism for integration of OWL ontologies using semantic import relations. In contrast to the standard OWL importing, we do not require all axioms of the importe…
Progression of Decomposed Local-Effect Action Theories
Denis Ponomaryov, Mikhail Soutchanski
In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of weakly-related or independent components. Howeve…