CoQuiAAS est un logiciel open-source dont le but est de résoudre de manière efficace des problèmes d’inférence dans le cadre des systèmes d’argumentation. Notre logiciel fournit les outils de raisonnement permettant de prendre en charge les sémantiques d’acceptabilité et les requêtes usuelles.

CoQuiAAS a été classé premier à la compétition ICCMA'15 et s’est classé deuxième lors de l’édition 2019.



GPL    Toute catégorie    Logiciels récents    Raisonnement   


2015 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver in 27th International Conference on Tools with Artificial Intelligence (ICTAI'15), IEEE, pp. 928-935, 2015.