SESAME - A System for Specifying Semantics in Abstract Argumentation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

SESAME - A System for Specifying Semantics in Abstract Argumentation

Résumé

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.
Fichier principal
Vignette du fichier
besnard_17137.pdf (628.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01475020 , version 1 (23-02-2017)

Identifiants

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

Citer

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⟩
95 Consultations
68 Téléchargements

Partager

Gmail Facebook X LinkedIn More