
implementation("it.unibo.tuprolog.argumentation:arg2p:0.14.1")Arg2P is a lightweight implementation of the ASPIC+ framework for structured argumentation, built atop the tuProlog engine. It enables defeasible reasoning, handles rule priorities, and includes a formal method for managing the burden of proof. ([apice.unibo.it](https://apice.unibo.it/xwiki/bin/view/Arg2p/?utm_source=openai)) An interactive IDE and a web-based playground are available for user engagement.