implementation("it.unibo.tuprolog.argumentation:arg2p:0.14.2")
Implements an ASPIC⁺-like framework for structured argumentation, enabling defeasible reasoning and handling rule priorities.
