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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...