implementation("it.unibo.tuprolog.argumentation:arg2p:0.11.4")
Enables defeasible reasoning and structured argumentation, handling rule priorities and burden of proof.
