Everything about ProbLog

🧭 Start here: a 6-step reading path

1. Read the overview: ProbLogA 5-minute orientation
2. Skim a recent paper: A ProbLog program to infer individual genotypes from familial phenotypes in autosomal, X-linked, and Y-linked Mendelian disordersInfluential work since 2022
3. Pick up a classic book: Pro-blogging secretsThe most-reprinted book on the subject
4. Read the landmark paper: On the implementation of the probabilistic logic programming language ProbLogCited 102 times
5. Go sideways: Probabilistic logic programmingA closely related topic
6. Go sideways: Probabilistic programmingA closely related topic

🏆 Landmark papers (most cited)

• On the implementation of the probabilistic logic programming language ProbLog

  ANGELIKA KIMMIG, BART DEMOEN, LUC DE RAEDT · 2011 · Theory and Practice of Logic Programming · 102 citations

• Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters

  Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi · 2022 · SoftwareX · 9 citations

• Intention Recognition With ProbLog

  Gary B. Smith, Vaishak Belle, Ronald P. A. Petrick · 2022 · Frontiers in Artificial Intelligence · 5 citations

• k-Optimal: a novel approximate inference algorithm for ProbLog

  Joris Renkens, Guy Van den Broeck, Siegfried Nijssen · 2012 · Machine Learning · 4 citations

• smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation

  PIETRO TOTIS, LUC DE RAEDT, ANGELIKA KIMMIG · 2023 · Theory and Practice of Logic Programming · 4 citations

• A landscape and implementation framework for probabilistic rough sets using ProbLog

  Patrick Doherty, Andrzej Szałas · 2022 · Information Sciences · 2 citations

• Single-world counterfactual reasoning in ProbLog

  Saimun Habib, Vaishak Belle, Fengxiang He · 2026 · Journal of Logic and Computation · 0 citations

• Understanding ProbLog as Probabilistic Argumentation

  Francesca Toni, Nico Potyka, Markus Ulbricht · 2023 · Electronic Proceedings in Theoretical Computer Science · 0 citations

🆕 Influential since 2022

• A ProbLog program to infer individual genotypes from familial phenotypes in autosomal, X-linked, and Y-linked Mendelian disorders

  Maxime Mahout · 2026 · Electronic Proceedings in Theoretical Computer Science · 0 citations

📚 Books worth reading

• 📕Pro-blogging secretsBob Lotich · 2014

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Probabilistic logic programming Probabilistic logic programming is a programming paradigm that combines logic programming with probabilities. Most approaches to probabilistic logic programming…
• Probabilistic programming Probabilistic programming (PP) is a programming paradigm based on the declarative specification of probabilistic models, for which inference is performed…
• Markov logic network A Markov logic network (MLN) is a probabilistic logic which applies the ideas of a Markov network to first-order logic, defining probability distributions…
• Inductive logic programming Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples…
• Sentential decision diagram In artificial intelligence, a sentential decision diagram (SDD) is a type of knowledge representation used in knowledge compilation to represent Boolean…
• Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog…
• Syntax and semantics of logic programming Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax…
• Stable model semantics The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several…