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).
|
(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 - 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: | |
| Statistics: | download |
| Deposited On: | 07 Feb 2017 10:47 |
Repository Staff Only: item control page
