DeepProbLog: Neural Probabilistic Logic Programming
Open accessAbstract
We introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques can be adapted for the new language. Our experiments demonstrate that DeepProbLog supports both symbolic and subsymbolic representations and inference, 1) program induction, 2) probabilistic (logic) programming, and 3) (deep) learning from examples. To the best of our knowledge, this work is the first to propose a framework where general-purpose neural networks and expressive probabilistic-logical modeling and reasoning are integrated in a way that exploits the full expressiveness and strengths of both worlds and can be trained end-to-end based on examples.
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
Other approaches have shown to be able to jointly learn and reason with both symbolic and sub-symbolic representations and inference.
“Other approaches have shown to be able to jointly learn and reason with both symbolic and sub-symbolic representations and inference.”
From Explainable Artificial Intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI (2020) · cites this paper as [300]
This blend allows for expressive probabilistic-logical reasoning in an end-to-end fashion.
“The interesting aspect is that this blend allows for expressive probabilistic-logical reasoning in an end-to-end fashion [300].”
From Explainable Artificial Intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI (2020) · cites this paper as [300]
A handful of approaches have started to tackle the problem of learning from raw data.
“A handful of approaches have started to tackle this problem (Manhaeve et al., 2018; Dai et al., 2019; Evans et al., 2021; Dai & Muggleton, 2021), but developing better ILP techniques that can both perceive sensory input and learn complex relational programs would be a major breakthrough not only for ILP, but the whole of AI.”
From Inductive Logic Programming At 30: A New Introduction (2022) · cites this paper as Manhaeve et al., 2018
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Cites
Introduction to Statistical Relational Learning
(2007) · doi:10.7551/mitpress/7432.001.0001 · Cited by 1,643 · see citing works
Flagged first, then by citations
Cited by
Sorted by citations
Barredo Arrieta, A., Díaz-Rodríguez, N., Del Ser, J., Bennetot, A., Tabik, S., Barbado, A., Garcia, S., Gil-Lopez, S., Molina, D., Benjamins, R., et al. (2020) · Information Fusion · doi:10.1016/j.inffus.2019.12.012 · Cited by 10,423 · see citing works
Ali, S., Abuhmed, T., El-Sappagh, S., Muhammad, K., Alonso-Moral, J. M., Confalonieri, R., Guidotti, R., Del Ser, J., Díaz-Rodríguez, N., & Herrera, F. (2023) · Information Fusion · doi:10.1016/j.inffus.2023.101805 · Cited by 1,762 · see citing works
A review of some techniques for inclusion of domain-knowledge into deep neural networks
Dash, T., Chitlangia, S., Ahuja, A., & Srinivasan, A. (2022) · Scientific Reports · doi:10.1038/s41598-021-04590-0 · Cited by 196 · see citing works
Inductive Logic Programming At 30: A New Introduction
Cropper, A., & Dumančić, S. (2022) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1.13507 · Cited by 83 · see citing works
Self-citationOlausson, T., Gu, A., Lipkin, B., Zhang, C., Solar-Lezama, A., Tenenbaum, J., & Levy, R. (2023) · Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing · doi:10.18653/v1/2023.emnlp-main.313 · Cited by 57 · see citing works
Regularizing deep networks with prior knowledge: A constraint-based approach
Roychowdhury, S., Diligenti, M., & Gori, M. (2021) · Knowledge-Based Systems · doi:10.1016/j.knosys.2021.106989 · Cited by 46 · see citing works
Abductive Knowledge Induction from Raw Data
Dai, W.-Z., & Muggleton, S. (2021) · Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2021/254 · Cited by 42 · see citing works
- Authors
- Manhaeve, R., Dumančić, S., Kimmig, A., Demeester, T., & De Raedt, L.
- Affiliations
- KU Leuven (BE)
- Cardiff University (GB)
- Ghent University (BE)
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 2018
- Volume
- 31
- Pages
- 1-14
- arXiv
- 1805.10872
- OpenAlex
- W2804796373
- Cited by
- 239
- References
- 1
- Citations by year
- 2025: 24 · 2024: 38 · 2023: 54 · 2022: 31 · 2021: 51 · 2020: 27 · 2019: 13 · 2018: 1
- FWCI
- 9.35
- Type
- conference paper
- Language
- en
- Open access
- green
- lirias.kuleuven.be
- Licence
- Locations
- ORCA Online Research @Cardiff (Cardiff University) (acceptedVersion)
- Lirias (acceptedVersion, other-oa)
- arXiv (Cornell University) (submittedVersion)
- Lirias (submittedVersion, other-oa)
- Ghent University Academic Bibliography (Ghent University) (submittedVersion)
- arXiv (Cornell University)
- Funders
- Fonds Wetenschappelijk Onderzoek (G079416N, 1S61718N)
- KU Leuven
- Vlaamse regering
- H2020 European Research Council (694980)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Artificial Intelligence › Bayesian Modeling and Causal Inference
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Keywords
- probabilistic logic programming, program induction, probabilistic programming, learning from examples, end-to-end learning
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
