CoQuiAAS is no more maintained. It evolved in Crustabri.

CoQuiAAS is an open-source software developed to answer a current need in the Artificial Intelligence community: the ability to solve efficiently inference tasks about argumentation frameworks. Our software provides the sufficient reasoning tools to work with the usual acceptability semantics and the usual inference tasks.

CoQuiAAS was ranked 1st at ICCMA'15 and 2nd at ICCMA'19 competition.



GPL    Archived software   


  • 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.