Welcome on “Grafix” website

“Grafix” is a tool for handling abstract argumentation graphs (see the video)

With this tool, you can:

• create abstract argumentation graphs whose
  • vertices are arguments
  • and edges represent either binary interactions between arguments or “recursive” interactions (from an argument to an interaction); several types of interaction are available (attacks, supports and ignorance);
• then execute some treatments on these graphs: computation of extensions for the classical semantics proposed by DUNG (grounded, preferred, stable semantics), the computation of some valuations (for instance, the valuations proposed by Cayrol and Lagasquie), logical encodings, …

New treatments can easily be added to the tool. More information in COMMA’14 publication and in the user manual.