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

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

IJCAI 2021 pp. 4735-4739

doi:10.24963/IJCAI.2021/641 /ijcai/2021/alfano2021ijcai-defining/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Alfano et al. "Defining the Semantics of Abstract Argumentation Frameworks Through Logic Programs and Partial Stable Models (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2021. doi:10.24963/IJCAI.2021/641

Markdown

[Alfano et al. "Defining the Semantics of Abstract Argumentation Frameworks Through Logic Programs and Partial Stable Models (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2021.](https://mlanthology.org/ijcai/2021/alfano2021ijcai-defining/) doi:10.24963/IJCAI.2021/641

BibTeX

@inproceedings{alfano2021ijcai-defining,
  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 = {International Joint Conference on Artificial Intelligence},
  year      = {2021},
  pages     = {4735-4739},
  doi       = {10.24963/IJCAI.2021/641},
  url       = {https://mlanthology.org/ijcai/2021/alfano2021ijcai-defining/}
}