Range-based argumentation semantics as two-valued models
2016 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
Logic programming semantics, argumentation semantics, non-monotonic reasoning
Research subject Computer Science
IdentifiersURN: urn:nbn:se:umu:diva-120745DOI: 10.1017/S1471068416000090OAI: oai:DiVA.org:umu-120745DiVA: diva2:929750