| Publication | Date of Publication | Type |
|---|
| Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASP | 2024-03-14 | Paper |
| Reasoning on with Defeasibility in ASP | 2023-12-12 | Paper |
| A Neuro-Symbolic Approach to Structured Event Recognition. | 2023-10-02 | Paper |
| Refining neural network predictions using background knowledge | 2023-08-22 | Paper |
| Lifted Inference beyond First-Order Logic | 2023-08-22 | Paper |
| Weighted First Order Model Counting with Directed Acyclic Graph Axioms | 2023-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869616 | 2022-09-28 | Paper |
| Logic tensor networks | 2022-03-02 | Paper |
| The Semantic PASCAL-Part Dataset | 2022-01-19 | Dataset |
| Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula | 2021-10-12 | Paper |
| Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories | 2020-06-04 | Paper |
| Learning and Reasoning with Logic Tensor Networks | 2020-02-10 | Paper |
| Mechanizing multi-agent reasoning with belief contexts | 2019-04-29 | Paper |
| Enhancing context knowledge repositories with justifiable exceptions | 2018-05-16 | Paper |
| Distributed first order logic | 2017-12-22 | Paper |
| A SAT-Based Algorithm for Context Matching | 2010-04-06 | Paper |
| On the Difference between Bridge Rules and Lifting Axioms | 2010-04-06 | Paper |
| Journal on Data Semantics I | 2010-03-03 | Paper |
| Composing Modular Ontologies with Distributed Description Logics | 2009-06-09 | Paper |
| Formal and Conceptual Comparison of Ontology Mapping Languages | 2009-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3616092 | 2009-03-24 | Paper |
| Mapping Properties of Heterogeneous Ontologies | 2008-11-04 | Paper |
| Verifying Space and Time Requirements for Resource-Bounded Agents | 2007-11-01 | Paper |
| Comparing formal theories of context in AI | 2006-02-07 | Paper |
| Modeling and Using Context | 2005-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808708 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739294 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473061 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473399 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434240 | 2003-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411597 | 2003-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409826 | 2003-07-01 | Paper |
| ML systems: A proof theory for contexts | 2003-03-12 | Paper |
| A Foundation for Metareasoning Part II: The Model Theory | 2002-08-12 | Paper |
| Distributed first order logics | 2002-08-05 | Paper |
| Mental States Recognition from Communication | 2002-07-30 | Paper |
| A Foundation for Metareasoning Part I: The Proof Theory | 2002-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535647 | 2002-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524509 | 2001-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524503 | 2001-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941943 | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4935597 | 2000-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4209291 | 1998-09-27 | Paper |
| Multilanguage hierarchical logics, or: How we can do without modal logics | 1994-02-24 | Paper |
