mlsanityData to 14 Oct 2026

Understanding ProbLog as Probabilistic Argumentation

arXiv 2308.15891 ↗First posted 30 Aug 2023cs.AIcited by 1

Not on the map. Why?

Abstract (arXiv)

ProbLog is a popular probabilistic logic programming language/tool, widely used for applications requiring to deal with inherent uncertainties in structured domains. In this paper we study connections between ProbLog and a variant of another well-known formalism combining symbolic reasoning and reasoning under uncertainty, i.e. probabilistic argumentation. Specifically, we show that ProbLog is an instance of a form of Probabilistic Abstract Argumentation (PAA) that builds upon Assumption-Based Argumentation (ABA). The connections pave the way towards equipping ProbLog with alternative semantics, inherited from PAA/PABA, as well as obtaining novel argumentation semantics for PAA/PABA, leveraging on prior connections between ProbLog and argumentation. Further, the connections pave the way towards novel forms of argumentative explanations for ProbLog's outputs.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 3 of its 24 references that are in the map. First posted on arXiv 30 Aug 2023.

Builds on

3 of 24 references.

References · 3

  1. 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 394
  2. 2021Argumentative XAI: A Surveycited by 67
  3. 2023smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentationcited by 6

Built on by

Cited by year

Citing papers per year: 2024: 1.

1 paper.

  1. 2024On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Headcited by 2

Similar, not cited

Close in wording, no citation either way

  1. 2024Implicit Probabilistic Reasoning Does Not Reflect Explicit Answers in Large Language Models
  2. 2024QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios
  3. 2025Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
  4. 2022Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs
  5. 2024Argumentative Large Language Models for Explainable and Contestable Claim Verification
  6. 2023Teaching Probabilistic Logical Reasoning to Transformers
  7. 2024Reasoning over Uncertain Text by Generative Large Language Models
  8. 2025Exploring the Potential for Large Language Models to Demonstrate Rational Probabilistic Beliefs