| Publication | Date of Publication | Type |
|---|
| Syntactic requirements for well-defined hybrid probabilistic logic programs | 2024-12-03 | Paper |
An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols
arXiv preprint | 2024-01-23 | Paper |
| An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols | 2024-01-23 | Paper |
Lifted inference for statistical statements in probabilistic answer set programming
International Journal of Approximate Reasoning | 2023-12-12 | Paper |
| Statistical statements in probabilistic logic programming | 2023-04-04 | Paper |
Dischargeable obligations in abductive logic programming
Rules and Reasoning | 2022-07-01 | Paper |
Symbolic DNN-tuner
Machine Learning | 2022-04-20 | Paper |
Abduction with probabilistic logic programming under the distribution semantics
International Journal of Approximate Reasoning | 2022-02-22 | Paper |
Learning hierarchical probabilistic logic programs
Machine Learning | 2022-01-28 | Paper |
Nonground abductive logic programming with probabilistic integrity constraints
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
Optimizing probabilities in probabilistic logic programs
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
Probabilistic inductive constraint logic
Machine Learning | 2021-11-24 | Paper |
A semantics for hybrid probabilistic logic programs with function symbols
Artificial Intelligence | 2021-11-02 | Paper |
Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Quantum weighted model counting
arXiv preprint | 2021-07-06 | Paper |
Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
Fundamenta Informaticae | 2021-05-20 | Paper |
MAP inference for probabilistic logic programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics
AI*IA 2016 Advances in Artificial Intelligence | 2020-02-10 | Paper |
Using SWISH to realize interactive web-based tutorials for logic-based languages
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
| scientific article; zbMATH DE number 7102019 (Why is no real title available?) | 2019-09-06 | Paper |
Lifted discriminative learning of probabilistic logic programs
Machine Learning | 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
Annals of Mathematics and Artificial Intelligence | 2018-08-06 | Paper |
Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming
Fundamenta Informaticae | 2018-05-03 | Paper |
Causal inference in cplint
International Journal of Approximate Reasoning | 2017-11-21 | Paper |
Structure learning of probabilistic logic programs by searching the clause space
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
International Journal of Approximate Reasoning | 2016-12-15 | Paper |
Distributed Parameter Learning for Probabilistic Ontologies
Inductive Logic Programming | 2016-10-19 | Paper |
The distribution semantics for normal programs with function symbols
International Journal of Approximate Reasoning | 2016-09-09 | Paper |
Bandit-based Monte-Carlo structure learning of probabilistic logic programs
Machine Learning | 2015-12-02 | Paper |
Terminating evaluation of logic programs with finite three-valued models
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Lifted variable elimination for probabilistic logic programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
Applying the information bottleneck to statistical relational learning
Machine 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
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Approximate Inference for Logic Programs with Annotated Disjunctions
Inductive Logic Programming | 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
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Extended semantics and inference for the Independent Choice Logic
Logic Journal of the IGPL | 2009-12-18 | Paper |
ALLPAD: approximate learning of logic programs with annotated disjunctions
Machine Learning | 2009-03-31 | Paper |
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
Logic Programming | 2009-01-22 | Paper |
Applying Inductive Logic Programming to Process Mining
Inductive Logic Programming | 2008-03-28 | Paper |
Advances in Intelligent Data Analysis VI
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-10-19 | Paper |
| scientific article; zbMATH DE number 2101218 (Why is no real title available?) | 2004-09-21 | Paper |
Belief revision via Lamarckian evolution
New Generation Computing | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 1746702 (Why is no real title available?) | 2004-02-25 | Paper |
| scientific article; zbMATH DE number 2036518 (Why is no real title available?) | 2004-02-02 | Paper |
| scientific article; zbMATH DE number 1703882 (Why is no real title available?) | 2002-02-13 | Paper |
Strategies in combined learning via logic programs
Machine Learning | 2001-05-20 | Paper |
Integrating induction and abduction in logic programming
Information Sciences | 2000-01-04 | Paper |
