SESAME - A System for Specifying Semantics in Abstract Argumentation

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 metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01475020
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, February 23, 2017 - 2:00:09 PM
Last modification on : Thursday, June 27, 2019 - 4:27:51 PM
Long-term archiving on : Wednesday, May 24, 2017 - 1:52:33 PM

File

besnard_17137.pdf
Files produced by the author(s)

Identifiers

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

Citation

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⟩

Share

Metrics

Record views

103

Files downloads

71