
implementation("it.unibo.tuprolog.argumentation:arg2p:0.11.3")Arg2Prolog is a lightweight implementation of the ASPIC⁺ framework for structured argumentation, built atop the tuProlog engine. It enables the generation of arguments from defeasible rules and constructs argumentation graphs to capture attack relationships. The framework supports labeling semantics for arguments and incorporates defeasible rule schemata for deontic reasoning, facilitating doctrine reification. Additionally, it extends the burden of proof model, enhancing its applicability in persuasive argumentation settings.