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

Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina

doi:10.24963/ijcai.2021/641

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

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Download BibTeX Cite

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Sister Conferences Best Papers. Pages 4735-4739.

https://doi.org/10.24963/ijcai.2021/641

Keywords

Knowledge Representation and Reasoning: Computational Models of Argument
Knowledge Representation and Reasoning: Logics for Knowledge Representation
Knowledge Representation and Reasoning: Knowledge Representation Languages

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.

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, and Irina Trubitsyna. 2021. Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract). In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21. IJCAI, 4735–4739. https://doi.org/10.24963/ijcai.2021/641

@inproceedings{ijcai2021p641,
  title     = {Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract)},
  author    = {Alfano, Gianvincenzo and Greco, Sergio and Parisi, Francesco and Trubitsyna, Irina},
  booktitle = {Proceedings of the Thirtieth International Joint Conference on
               Artificial Intelligence, {IJCAI-21}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Prof. Zhi-Hua Zhou},
  pages     = {4735--4739},
  year      = {2021},
  month     = {8},
  note      = {Sister Conferences Best Papers},
  doi       = {10.24963/ijcai.2021/641},
  url       = {https://doi.org/10.24963/ijcai.2021/641},
}

TY  - CPAPER
TI  - Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract)
AU  - Alfano, Gianvincenzo
AU  - Greco, Sergio
AU  - Parisi, Francesco
AU  - Trubitsyna, Irina
T2  - Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2021
SP  - 4735
EP  - 4739
DO  - 10.24963/ijcai.2021/641
UR  - https://doi.org/10.24963/ijcai.2021/641
ER  -