2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/31194This paper defines an argumentation semantics for extended logic programming and shows its equivalence to the well-founded semantics with explicit negation. We set up a general framework in which we extensively compare this semantics to other argumentation semantics, including those of Dung, and Prakken and Sartor. We present a general dialectical proof theory for these argumentation semantics.Workshop on Non-Monotonic Reasoning NMR'02, Special Session on Argument, Dialogue, and DecisionLogic in Computer ScienceArtificial IntelligenceD.1.6.; F.3.2.; I.2.3.; I.2.4text