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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Theory and practice of logic programming Ročník 17; číslo 1; s. 75 - 90
Hlavní autori: OSORIO, MAURICIO, NIEVES, JUAN CARLOS
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.01.2017
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia: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