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.

[thumbnail of besnard_17137.pdf]
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
View Item

Downloads

Downloads per month over past year