%A Philippe Besnard
%A Sylvie Doutre
%A Van Hieu Ho
%A Dominique Longin
%T SESAME - A System for Specifying Semantics in Abstract Argumentation
%X 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.
%K Abstract argumentation - Argumentation semantics - Logical encoding
%P 40-51
%V 1672
%D 2016
%C Potsdam, Germany
%I CEUR Workshop Proceedings
%L publications28936