ConArg

Web Interface

Main buttons:

New Node: allows to insert a name for the node. Clicking on the canvas will create a new argument with the specified name;
Upload File: allows to upload a local .dl file and display on the canvas the corresponding AF;
Link/Drag: if link mode is active, dragging a node will create a new edge, otherwise the node will change its position on the canvas;
Stroke/Label: switch weight representation from the thickness of the edges to labels;
Draw: draw the AF and refresh the canvas;
Semantics: allows to select the semantics to compute;
Compute: start the computation of the solutions for the selected semantics;
Download: download the output in a .txt file;
Erease: clean the canvas.

Hotkeys:

Settings:

arguments: specifies the number of arguments for AFs in the lattice;
inclusion: chooses among attacks or semantics inclusion for AFs in the lattice;
bidirectional: specifies if bidirectional attacks are allowed in AFs to be represented;
other: specifies if monodirectional attacks are allowed in AFs to be represented.

Central panel:

Hovering on a node will show the corresponding AFs in a panel on the left panel;
Clicking on a node will show the corresponding sets of extensions on the right panel.

Right panel:

All nodes are coloured according to a specific semantics.
Clicking on a node will highlight all the AFs with such extension set for some semantics on the main panel.