Recent Posts

Featured Posts

OVAgen last updated September 16, 2021 by Brian Pl├╝ss


OVAgen is a handy online gizmo for drawing abstract argumentation frameworks (which are simply digraphs) and saving the result in either AIF or DOT language (for easy inclusion in LaTeX source or use in GraphViz). OVAgen includes a facility for submitting an abstract framework to web services encapsulating South‘s Dungine for computing some types of semantics, and Devereux’s javaDungAF for computing others. The results are then visualised and exportable to AIF and DOT.