Skip to Main content Skip to Navigation
Conference papers

SESAME - A System for Specifying Semantics in Abstract Argumentation

Philippe Besnard 1 Sylvie Doutre 1 van Hieu Ho 1 Dominique Longin 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
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.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, February 23, 2017 - 2:00:09 PM
Last modification on : Thursday, March 18, 2021 - 2:25:16 PM
Long-term archiving on: : Wednesday, May 24, 2017 - 1:52:33 PM


Files produced by the author(s)


  • HAL Id : hal-01475020, version 1
  • OATAO : 17137


Philippe Besnard, Sylvie Doutre, van Hieu Ho, Dominique Longin. SESAME - A System for Specifying Semantics in Abstract Argumentation. 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, Sep 2016, Potsdam, Germany. pp. 40-51. ⟨hal-01475020⟩



Record views


Files downloads