---
title: "Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract)"
authors:
  - "Gianvincenzo Alfano"
  - "Sergio Greco"
  - "Francesco Parisi"
  - "Irina Trubitsyna"
doi: "10.24963/ijcai.2021/641"
url: "https://ijcai.org/proceedings/2021/641"
pdf: "https://ijcai.org/proceedings/2021/0641.pdf"
venue: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence"
year: 2021
pages: "4735-4739"
track: "Sister Conferences Best Papers"
keywords:
  - "Knowledge Representation and Reasoning: Computational Models of Argument"
  - "Knowledge Representation and Reasoning: Logics for Knowledge Representation"
  - "Knowledge Representation and Reasoning: Knowledge Representation Languages"
---

# Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract)

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

*Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence*, pages 4735-4739. DOI: [10.24963/ijcai.2021/641](https://doi.org/10.24963/ijcai.2021/641)

## Abstract

Extensions of Dung’s Argumentation Framework (AF) include the class of Recursive Bipolar AFs (Rec-BAFs), i.e. AFs with recursive attacks and supports. We show that a Rec-BAF \Delta can be translated into a logic program P_\Delta so that the extensions of \Delta under different semantics coincide with subsets of the partial stable models of P_\Delta.