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