swMATH ID: 22084
Software Authors: Bistarelli, S.; Rossi, F.; Santini, F.
Description: ConArg2: A Constraint-based Tool for Abstract Argumentation. ConArg2 is a Constraint-programming tool oriented to the solution of problems related to extension-based semantics in Abstract Argumentation. It exploits Gecode, an efficient C++ toolkit for developing constraint-based systems and applications. The properties required by semantics are encoded into constraints, and arguments are assigned to 1 (i.e.,true ) if belonging to a valid extension for that semantics. Searching for solutions of problems (as enumerating extensions or checking argument-acceptance) takes advantage of well-known techniques as local consistency, different heuristics for trying to assign values to variables, and complete search-tree with branch-and-bound.
Homepage: http://argumentationcompetition.org/2015/pdf/paper_6.pdf
Related Software: AFRA; Dungine; MiniSat; PySpark; YALLA; Python; ANTLR; PITA; CP-logic; ProbLog; Lingeling; ProGraph; CoQuiAAS; LamatzSolver; Argtools; Tweety; prefMaxSAT; Carneades; DIAMOND; CEGARTIX
Cited in: 6 Publications

Citations by Year