research
∙
12/22/2022
Machine Learning with Probabilistic Law Discovery: A Concise Introduction
Probabilistic Law Discovery (PLD) is a logic based Machine Learning meth...
share
research
∙
02/15/2022
Interpretable Reinforcement Learning with Multilevel Subgoal Discovery
We propose a novel Reinforcement Learning model for discrete environment...
research
∙
02/12/2020
On Termination of Transactions over Semantic Document Models
We consider the framework of Document Modeling, which lays the formal ba...
research
∙
12/05/2019
The Expressiveness of Looping Terms in the Semantic Programming
We consider the complexity of reasoning in extensions of the language of...
research
∙
10/10/2018
DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies
We introduce an extension to the Protege ontology editor, which allows f...
research
∙
05/21/2018
On A Polytime Factorization Algorithm for Multilinear Polynomials Over F2
In 2010, A. Shpilka and I. Volkovich established a prominent result on t...
research
∙
05/21/2018
On Polytime Algorithm for Factorization of Multilinear Polynomials Over F2
In 2010, A. Shpilka and I. Volkovich established a prominent result on t...
research
∙
05/21/2018
A Polytime Delta-Decomposition Algorithm for Positive DNFs
We consider the problem of decomposing a given positive DNF into a conju...
research
∙
05/12/2017
On the Complexity of Semantic Integration of OWL Ontologies
We propose a new mechanism for integration of OWL ontologies using seman...
research
∙
05/12/2017