ProGraph: towards enacting bipartite graphs for abstract argumentation frameworks. ProGraph was developed in Prolog and relies on bipartite graphs to partition the set of arguments in two classes: in and out. The current version of ProGraph is able to determine some extension and decide whether a given argument is credulously inferred, both with respect to the stable semantics.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)