research AGGREEY ANR (2023-...) AMANDE ANR (2013-2018) Fragment-Driven Belief Change FWF (2015-2016) software CoQuiAAS SAT-based solver for abstract argumentation Crustabri SAT-based solver for abstract argumentation, the evolution of CoQuiAAS crusti_g2io Graph benchmark generator Pygarg A Python enGine for Argumentation AF Fusion A tool for merging extensions of abstract argumentation frameworks
