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