# On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach

arXiv: https://arxiv.org/abs/2008.02550 · HTML: https://mlsanity.com/paper/2008.02550/

## Key facts

- Cited by 6 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 6 Aug 2020.

## Built on by (most cited first, 6 of 6)

- [smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation](https://mlsanity.com/paper/2304.00879/) (2023)
- [SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation](https://mlsanity.com/paper/2110.01990/) (2021)
- [Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation](https://mlsanity.com/paper/2405.04081/) (2024)
- [From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back](https://mlsanity.com/paper/2110.03643/) (2021)
- [Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation](https://mlsanity.com/paper/2212.07523/) (2022)
- [Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping](https://mlsanity.com/paper/2408.08916/) (2024)

## Abstract (arXiv)

Recently there has been an increasing interest in frameworks extending Dung's abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive attacks and necessary supports. Although the relationships between AF semantics and Partial Stable Models (PSMs) of logic programs has been deeply investigated, this is not the case for more general frameworks extending AF. In this paper we explore the relationships between AF-based frameworks and PSMs. We show that every AF-based framework Delta can be translated into a logic program P_Delta so that the extensions prescribed by different semantics of Delta coincide with subsets of the PSMs of P_Delta. We provide a logic programming approach that characterizes, in an elegant and uniform way, the semantics of several AF-based frameworks. This result allows also to define the semantics for new AF-based frameworks, such as AFs with recursive attacks and recursive deductive supports. Under consideration for publication in Theory and Practice of Logic Programming.