| Publication | Date of Publication | Type |
|---|
| An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas | 2023-02-20 | Paper |
| Neuro-symbolic artificial intelligence | 2022-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619830 | 2019-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619831 | 2019-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455640 | 2015-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457253 | 2015-12-11 | Paper |
| Complexities of Horn Description Logics | 2015-09-17 | Paper |
| $\mathcal{EL}$ -ifying Ontologies | 2014-09-26 | Paper |
| Generalized ultrametrics, domains and an application to computational logic | 2014-01-21 | Paper |
| Reasoning with inconsistencies in hybrid MKNF knowledge bases | 2013-06-11 | Paper |
| On the Coincidence of Semantics for Uniquely Determined Programs | 2013-06-06 | Paper |
| Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog | 2012-04-03 | Paper |
| Computing inconsistency measure based on paraconsistent semantics | 2011-12-19 | Paper |
| Local closed world reasoning with description logics under the well-founded semantics | 2011-11-17 | Paper |
| Mathematical Aspects of Logic Programming Semantics | 2011-02-16 | Paper |
| Concept learning in description logics using refinement operators | 2010-10-07 | Paper |
| 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010) | 2010-09-10 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| Cheap Boolean Role Constructors for Description Logics | 2008-10-27 | Paper |
| Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics | 2008-09-16 | Paper |
| An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics | 2008-09-16 | Paper |
| A Refinement Operator Based Learning Algorithm for the $\mathcal{ALC}$ Description Logic | 2008-03-28 | Paper |
| Foundations of Refinement Operators for Description Logics | 2008-03-28 | Paper |
| KI 2004: Advances in Artificial Intelligence | 2008-03-14 | Paper |
| Semantic Web | 2007-11-05 | Paper |
| Querying Formal Contexts with Answer Set Programs | 2007-09-06 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Towards a Systematic Account of Different Semantics for Logic Programs | 2005-07-13 | Paper |
| A uniform approach to logic programming semantics | 2005-04-29 | Paper |
| Logic programs and connectionist networks | 2004-10-28 | Paper |
| Logic programs, iterated function systems, and recurrent radial basis function networks | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044232 | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470447 | 2004-07-01 | Paper |
| Generalized metrics and uniquely determined logic programs. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424942 | 2003-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412245 | 2003-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3153396 | 2002-12-09 | Paper |
| Dislocated topologies | 2001-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499241 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500930 | 2000-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955347 | 2000-05-25 | Paper |
