| Publication | Date of Publication | Type |
|---|
| Syntactic requirements for well-defined hybrid probabilistic logic programs | 2024-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6182226 | 2024-01-23 | Paper |
| Lifted inference for statistical statements in probabilistic answer set programming | 2023-12-12 | Paper |
| Statistical statements in probabilistic logic programming | 2023-04-04 | Paper |
| Dischargeable obligations in abductive logic programming | 2022-07-01 | Paper |
| Symbolic DNN-tuner | 2022-04-20 | Paper |
| Abduction with probabilistic logic programming under the distribution semantics | 2022-02-22 | Paper |
| Learning hierarchical probabilistic logic programs | 2022-01-28 | Paper |
| Nonground abductive logic programming with probabilistic integrity constraints | 2022-01-10 | Paper |
| Optimizing probabilities in probabilistic logic programs | 2022-01-10 | Paper |
| Probabilistic inductive constraint logic | 2021-11-24 | Paper |
| A semantics for hybrid probabilistic logic programs with function symbols | 2021-11-02 | Paper |
| Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach | 2021-09-03 | Paper |
| Quantum weighted model counting | 2021-07-06 | Paper |
| Dischargeable obligations in the \(\mathcal{S}\)CIFF framework | 2021-05-20 | Paper |
| MAP inference for probabilistic logic programming | 2020-12-13 | Paper |
| Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics | 2020-02-10 | Paper |
| Using SWISH to realize interactive web-based tutorials for logic-based languages | 2019-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5233781 | 2019-09-06 | Paper |
| Lifted discriminative learning of probabilistic logic programs | 2019-06-26 | Paper |
| An abductive framework for Datalog\(^\pm\) ontologies | 2019-04-24 | Paper |
| Tableau reasoning for description logics and its extension to probabilities | 2018-08-06 | Paper |
| Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming | 2018-05-03 | Paper |
| Causal inference in cplint | 2017-11-21 | Paper |
| Structure learning of probabilistic logic programs by searching the clause space | 2017-11-09 | Paper |
| A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics | 2016-12-15 | Paper |
| Distributed Parameter Learning for Probabilistic Ontologies | 2016-10-19 | Paper |
| The distribution semantics for normal programs with function symbols | 2016-09-09 | Paper |
| Bandit-based Monte-Carlo structure learning of probabilistic logic programs | 2015-12-02 | Paper |
| Terminating evaluation of logic programs with finite three-valued models | 2015-09-17 | Paper |
| Lifted variable elimination for probabilistic logic programming | 2014-11-25 | Paper |
| Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics | 2013-06-26 | Paper |
| Applying the information bottleneck to statistical relational learning | 2012-07-31 | Paper |
| Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions | 2012-05-11 | Paper |
| The PITA system: tabling and answer subsumption for reasoning under uncertainty | 2011-08-16 | Paper |
| Approximate Inference for Logic Programs with Annotated Disjunctions | 2011-06-17 | Paper |
| SLGAD resolution for inference on logic programs with annotated disjunctions | 2011-06-10 | Paper |
| Logic-based decision support for strategic environmental assessment | 2010-08-19 | Paper |
| Extended semantics and inference for the Independent Choice Logic | 2009-12-18 | Paper |
| ALLPAD: approximate learning of logic programs with annotated disjunctions | 2009-03-31 | Paper |
| Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics | 2009-01-22 | Paper |
| Applying Inductive Logic Programming to Process Mining | 2008-03-28 | Paper |
| Advances in Intelligent Data Analysis VI | 2006-11-01 | Paper |
| Inductive Logic Programming | 2006-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817796 | 2004-09-21 | Paper |
| Belief revision via Lamarckian evolution | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530883 | 2004-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4446493 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2770540 | 2002-02-13 | Paper |
| Strategies in combined learning via logic programs | 2001-05-20 | Paper |
| Integrating induction and abduction in logic programming | 2000-01-04 | Paper |
