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 (Complete, Preferred, Stable and Grounded) and the usual inference tasks (compute one extension, enumerate all the extensions, credulous acceptance and skeptical acceptance).

Aller sur la page web du logiciel