implementation("it.unibo.tuprolog.argumentation:arg2p:0.6.8")
Implements the ASPIC+ framework for structured argumentation, enabling defeasible reasoning and argumentation graph analysis.