| The complexity of AND—decomposition of Boolean functions | 0 | 0.34 | 2020 |
| On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2. | 0 | 0.34 | 2018 |
| DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies. | 0 | 0.34 | 2018 |
| On Polytime Algorithm for Factorization of Multilinear Polynomials Over F2. | 0 | 0.34 | 2018 |
| On the Complexity of Semantic Integration of OWL Ontologies. | 0 | 0.34 | 2017 |
| Progression of Decomposed Local-Effect Action Theories. | 0 | 0.34 | 2017 |
| Ontology-supported Exploratory Search for Physical Training Exercises. | 1 | 0.36 | 2015 |
| Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. | 2 | 0.40 | 2015 |
| Algorithmic issues of AND-decomposition of boolean formulas | 3 | 0.45 | 2015 |
| Integrating Ontologies and Planning for Cognitive Systems. | 2 | 0.40 | 2015 |
| On Tractability Of Disjoint And-Decomposition Of Boolean Formulas | 2 | 0.44 | 2014 |
| Concept Definability and Interpolation in Enriched Models of EL-TBoxes. | 1 | 0.35 | 2013 |
| Progression of Decomposed Situation Calculus Theories. | 1 | 0.35 | 2013 |
| On Definability and Redundancy in $\cal{EL}$ -TBoxes. | 0 | 0.34 | 2012 |
| Probabilistic generalization of formal concepts | 3 | 0.42 | 2012 |
| Probabilistic concepts in formal contexts | 2 | 0.40 | 2011 |
| Decomposing Description Logic Ontologies | 12 | 0.84 | 2010 |
| From published expression and phenotype data to structured knowledge: the arabidopsis gene net supplementary database and its applications | 0 | 0.34 | 2007 |
| SemanticWeb Basics in Logical Consideration | 0 | 0.34 | 2006 |
