Crustabri is the evolution of CoQuiAAS. This 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.

Crustabri entered the ICCMA'23 competition, in the “main” and “dynamics” tracks. If you are looking for the library based on Crustabri that was submitted to the “dynamics” track, you can find its source code on Github.

This software was developed in part within the scope of the French National Research Agency (ANR) AGGREEY.

GPL    Any category    Recent software    Reasoning