CoQuiAAS classé premier à la première compétition d'argumentation
Le solveur CoQuiAAS développé par Jean-Marie Lagniez, Emmanuel Lonca et Jean-Guy Mailly a été classé premier à l’issue des 16 épreuves de la première compétition de solveurs en argumentation.
Les résultats de la compétition sont disponibles en ligne.
Une description complète du fonctionnement du solveur a été publiée en français aux JFPC'15.