Tools
Tools
Besnard, Philippe
, Doutre, Sylvie, Ho, Van Hieu and Longin, Dominique
(2016)
SESAME - A System for Specifying Semantics in Abstract Argumentation.
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.
Preview |
Text
Download (1MB) | Preview |
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) |
|---|---|
| Date: | 2016 |
| Uncontrolled Keywords: | Abstract argumentation - Argumentation semantics - Logical encoding |
| Subjects: | H- INFORMATIQUE |
| Divisions: | Institut de Recherche en Informatique de Toulouse |
| Site: | UT1 |
| Date Deposited: | 22 Feb 2019 15:18 |
| Last Modified: | 02 Apr 2021 15:59 |
| URI: | https://publications.ut-capitole.fr/id/eprint/28936 |
