implementation("it.unibo.tuprolog.argumentation:arg2p:0.11.1")
Facilitates structured argumentation by generating arguments from defeasible rules and constructing argumentation graphs. Supports deontic reasoning and burden of proof modeling.
