×

CoQuiAAS

swMATH ID: 22094
Software Authors: Lagniez, J.M.; Lonca, E.; Mailly, J.G.
Description: CoQuiAAS: a constraint-based quick abstract argumentation solver. This paper is a description of our proposal to use Constraint Programming techniques to develop a software library dedicated to argumentative reasoning. We present a library which offers the advantages to be generic and easily adaptable
Homepage: https://arxiv.org/pdf/1510.05373.pdf
Related Software: MiniSat; Glucose; DIAMOND; Clingo; ASPARTIX; AlexNet; ImageNet; TensorFlow; Isabelle; SATzilla; SMAC; claspfolio 2; WEKA; Paramils; Chaff; Lingeling; ProGraph; LamatzSolver; Argtools; Dungine
Cited in: 6 Documents

Citations by Year