2016-07

Range-based argumentation semantics as 2-valued models

Mauricio Osorio, Universidad de las Américas, Puebla, México
Juan Carlos Nieves, Umeå University, Sweden

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.

PDF Version