Skip to Main content Skip to Navigation
Book sections

Towards a Generic Logical Encoding for Argumentation

Théo Duchatelle 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : Several enrichments have been proposed for Dung abstract argumentation framework. These enrichments modify the standard setting by adding extra properties, thus changing the way arguments (and possibly other elements) are selected. The use of logical tools to encode and capture the original framework and some of its enrichments, have already been proposed. We extend these works by proposing a generic logical encoding which aims at being as modular as possible and which enables, by its genericity, not only to encompass the existing encodings, but also to define encodings for enriched frameworks that have not yet been studied through this scope.
Document type :
Book sections
Complete list of metadata
Contributor : Théo Duchatelle Connect in order to contact the contributor
Submitted on : Tuesday, July 13, 2021 - 3:49:17 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:36 PM
Long-term archiving on: : Thursday, October 14, 2021 - 7:10:46 PM


Towards a Generic Logical Enco...
Publisher files allowed on an open archive


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-03285723, version 1


Théo Duchatelle. Towards a Generic Logical Encoding for Argumentation. Federico Castagna; Francesca Mosca; Jack Mumford; Stefan Sarkadi; Andreas Xydis. OHAAI : Online Handbook of Argumentation for AI, Volume 2, 2, pp.12-16, 2021. ⟨hal-03285723⟩



Record views


Files downloads