OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

SESAME - A System for Specifying Semantics in Abstract Argumentation

Besnard, Philippe and Doutre, Sylvie and Ho, Van Hieu and Longin, Dominique SESAME - A System for Specifying Semantics in Abstract Argumentation. (2016) In: 1st International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016) co-located with the 6th International Conference on Computational Models of Argument : COMMA 2016, 13 September 2016 (Potsdam, Germany).

[img]
Preview
(Document in English)

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

Official URL: http://ceur-ws.org/Vol-1672/paper_4.pdf

Abstract

This is a report on an implemented system that allows the user to specify an argumentation semantics and that returns a logical encoding in the form of a parameterized propositional formula. When applied to a subset S of a given argumentation graph G, the instantiated formula is satisfiable if and only if S is an extension for G according to the argumentation semantics specified by the user.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to CEUR editor, a free open-access publication service of Sun SITE Central Europe operated under the umbrella of RWTH Aachen University. The definitive version is available at http://ceur-ws.org/ This paper appears in vol 1672 Ceur Workshop Proceedings ISSN: 1613-0073 The definitive version is available at: http://ceur-ws.org/Vol-1672/paper_4.pdf
HAL Id:hal-01475020
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:07 Feb 2017 10:47

Repository Staff Only: item control page