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