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 all top 5 Cited by 16 Authors 2 Thimm, Matthias 1 Baumeister, Dorothea 1 Cerutti, Federico 1 Gaggl, Sarah Alice 1 Giacomin, Massimiliano 1 Järvisalo, Matti 1 Kuhlmann, Isabelle 1 Linsbichler, Thomas 1 Mailly, Jean-Guy 1 Maratea, Marco 1 Neugebauer, Daniel 1 Niskanen, Andreas 1 Rothe, Jörg-Matthias 1 Vallati, Mauro 1 Villata, Serena 1 Woltran, Stefan Cited in 2 Serials 3 Artificial Intelligence 1 International Journal of Approximate Reasoning Cited in 2 Fields 6 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year