Range-based argumentation semantics as two-valued models

Characterizations of semi-stable and stage extensions in terms of two-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 co...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 17; no. 1; pp. 75 - 90
Main Authors: OSORIO, MAURICIO, NIEVES, JUAN CARLOS
Format: Journal Article
Language:English
Published: Cambridge, UK Cambridge University Press 01.01.2017
Subjects:
argumentation semantics
Computer Science
datalogi
Logic programming
Logic programming semantics
non-monotonic reasoning
Semantics
Technical Note
argumentation semantics
non-monotonic reasoning
Logic programming semantics
ISSN:1471-0684, 1475-3081, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Characterizations of semi-stable and stage extensions in terms of two-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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
ISSN:1471-0684
1475-3081
1475-3081
DOI:10.1017/S1471068416000090