Range-based argumentation semantics as 2-valued models

Abstract

Characterizations of semi-stable and stage extensions in terms of 2-valued logical models are presented. To this end, the so-called GL-supported and GL-stage models are defined. These two classes of logical models are logic programming counterparts of the notion of range which is an established concept in argumentation semantics.

16 pages, to appear in Theory and Practice of Logic Programming (TPLP)

Cited by in corpus (2)

• Dealing with Incompatibilities among Procedural Goals under Uncertainty
• An Argumentation-based Approach for Identifying and Dealing with Incompatibilities among Procedural Goals