| Publication | Date of Publication | Type |
|---|
| Large language models for mathematicians | 2024-10-22 | Paper |
| \(\mathrm{CCN}^+\): a neuro-symbolic framework for deep learning with requirements | 2024-07-24 | Paper |
| Pre-training and diagnosing knowledge base completion models | 2024-04-30 | Paper |
| A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases | 2023-06-30 | Paper |
| Selective Pseudo-Label Clustering | 2023-03-29 | Paper |
| Rationalizing predictions by adversarial information calibration | 2023-01-04 | Paper |
| Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity | 2022-12-08 | Paper |
| Inconsistency-tolerant query answering for existential rules | 2022-04-11 | Paper |
| Complexity results for preference aggregation over \((m)\)CP-nets: max and rank voting | 2022-03-02 | Paper |
| Multi-Label Classification Neural Networks with Hard Logical Constraints | 2022-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999267 | 2021-07-06 | Paper |
| Ontology Reasoning with Deep Neural Networks | 2020-07-29 | Paper |
| Partially observable game-theoretic agent programming in Golog | 2020-02-27 | Paper |
| Complexity results for preference aggregation over (\(m\))CP-nets: Pareto and majority voting | 2019-08-28 | Paper |
| Ontological query answering under many-valued group preferences in Datalog\(+/-\) | 2019-02-20 | Paper |
| Complexity Results for Probabilistic Datalog | 2018-07-12 | Paper |
| Complexity of Threshold Query Answering in Probabilistic Ontological Data Exchange | 2018-07-12 | Paper |
| A novel characterization of the complexity class \(\Theta_k^{\mathrm{P}}\) based on counting and comparison | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283021 | 2017-07-18 | Paper |
| Reasoning about actions with sensing under qualitative and probabilistic uncertainty | 2017-07-12 | Paper |
| Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations | 2016-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455581 | 2015-12-11 | Paper |
| Well-founded semantics for description logic programs in the semantic web | 2015-09-17 | Paper |
| A data model and algebra for probabilistic complex values | 2015-06-17 | Paper |
| Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies | 2014-06-26 | Paper |
| Ontology-based semantic search on the web and its combination with the power of inductive reasoning | 2013-01-04 | Paper |
| Tightly integrated probabilistic description logic programs for representing ontology mappings | 2012-06-19 | Paper |
| Description logic programs under probabilistic uncertainty and fuzzy vagueness | 2010-04-07 | Paper |
| Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding | 2010-04-06 | Paper |
| Probabilistic description logic programs under inheritance with overriding for the semantic Web | 2010-03-19 | Paper |
| Combining answer set programming with description logics for the semantic web | 2009-07-17 | Paper |
| Expressive probabilistic description logics | 2009-07-17 | Paper |
| Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web | 2009-07-02 | Paper |
| Probabilistic logic programming with conditional constraints | 2008-12-21 | Paper |
| Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness | 2008-09-16 | Paper |
| Probabilistic object bases | 2008-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5450126 | 2008-03-19 | Paper |
| Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings | 2008-03-04 | Paper |
| Weak nonmonotonic probabilistic logics | 2007-10-23 | Paper |
| Causes and explanations in the structural-model approach: Tractable cases | 2007-10-23 | Paper |
| Probabilistic description logic programs | 2007-07-19 | Paper |
| Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation | 2007-05-18 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Probabilistic logic under coherence: complexity and algorithms | 2006-04-04 | Paper |
| Combining probabilistic logic programming with the power of maximum entropy | 2006-02-07 | Paper |
| Complexity results for explanations in the structural-model approach | 2006-02-07 | Paper |
| Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding | 2005-12-12 | Paper |
| Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708909 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798019 | 2003-03-18 | Paper |
| Complexity results for structure-based causality. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784844 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536334 | 2002-11-25 | Paper |
| Probabilistic default reasoning with conditional constraints | 2002-06-27 | Paper |
| Default reasoning from conditional knowledge bases: Complexity and tractable cases | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263812 | 2000-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4504006 | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955341 | 2000-05-25 | Paper |
| Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events | 2000-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4242057 | 1999-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4380999 | 1998-03-18 | Paper |
