implementation("it.unibo.tuprolog.argumentation:causality-solver:0.15.1")
Implements the ASPIC+ framework for structured argumentation, enabling evaluation of argumentation graphs and labellings.