DeepProbLog: Neural Probabilistic Logic Programming
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 6 papers in the map (data through 14 Oct 2026). First posted on arXiv 28 May 2018.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2024: 2; 2025: 1; 2026: 3.
6 papers.
- 2024Automated Theorem Provers Help Improve Large Language Model Reasoningcited by 7
- 2025Attention as Binding: A Vector-Symbolic Perspective on Transformer Reasoningcited by 2
- 2024Approaches to human activity recognition via passive radarcited by 0
- 2026Weakly Supervised Concept Learning for Object-centric Visual Reasoningcited by 0
- 2026Weakly supervised concept Bottleneck Learning for Robust Two stage Object centric visual reasoningcited by 0
- 2026Uncertainty in Representation Learning on Knowledge Graphscited by 0
- 2026Uncertainty in Representation Learning on Knowledge Graphs3 Oct 2026
- 2026Weakly supervised concept Bottleneck Learning for Robust Two stage Object centric visual reasoning23 Aug 2026
- 2026Weakly Supervised Concept Learning for Object-centric Visual Reasoning5 May 2026
- 2025Attention as Binding: A Vector-Symbolic Perspective on Transformer Reasoning8 Dec 2025
- 2024Approaches to human activity recognition via passive radar31 Oct 2024
- 2024Automated Theorem Provers Help Improve Large Language Model Reasoning7 Aug 2024