Range-based argumentation semantics as 2-valued models
Logic in Computer Science
2016-03-01 v1 Artificial Intelligence
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.
Cite
@article{arxiv.1602.08903,
title = {Range-based argumentation semantics as 2-valued models},
author = {Mauricio Osorio and Juan Carlos Nieves},
journal= {arXiv preprint arXiv:1602.08903},
year = {2016}
}
Comments
16 pages, to appear in Theory and Practice of Logic Programming (TPLP)