Change search
ReferencesLink to record
Permanent link

Direct link
Range-based argumentation semantics as two-valued models
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2016 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081Article in journal (Refereed) Published
Abstract [en]

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
Keyword [en]
Logic programming semantics, argumentation semantics, non-monotonic reasoning
National Category
Computer Systems
Research subject
Computer Science
URN: urn:nbn:se:umu:diva-120745DOI: 10.1017/S1471068416000090OAI: diva2:929750
Available from: 2016-05-19 Created: 2016-05-19 Last updated: 2016-05-19

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Nieves, Juan Carlos
By organisation
Department of Computing Science
In the same journal
Theory and Practice of Logic Programming
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 279 hits
ReferencesLink to record
Permanent link

Direct link