OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Logical theories and abstract argumentation: A survey of existing works

Besnard, Philippe and Cayrol, Claudette and Lagasquié-Schiex, Marie-Christine Logical theories and abstract argumentation: A survey of existing works. (2020) Argument and Computation, 11 (1-2). 41-102. ISSN 1946-2166

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.3233/AAC-190476


In 1995, in his seminal paper introducing the abstract argumentation framework, Dung has also established the first relationship between this framework and a logical framework (in this case: logic programming). Since that time, a lot of work have pursued this path, proposing different definitions, uses and exhibiting distinct relationships between argumentation and logic. In this paper, we present a survey of existing works about this topic and more especially those that address the following question: “How logic has been used for capturing various aspects or parts of Dung’s argumentation”. This survey covers many different approaches but is not intended to be totally exhaustive due to the huge quantity of papers in this scope. Moreover, due to the fact that each approach has its own specificities, sometimes antagonistic with the other approaches, and is also justified by its own context of definition or use, the aim of this survey is not to identify one approach as being better than another.

Item Type:Article
Additional Information:Droits : Creative Commons Attribution Non-Commercial License (CC BY-NC 4.0)
HAL Id:hal-02875289
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Centre International de Mathématiques et d’Informatique de Toulouse (CIMI)
Deposited On:01 Jul 2020 10:30

Repository Staff Only: item control page