umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Range-based argumentation semantics as two-valued models
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2017 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 17, no 1, 75-90 p.Article 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
Cambridge University Press, 2017. Vol. 17, no 1, 75-90 p.
Keyword [en]
Logic programming semantics, argumentation semantics, non-monotonic reasoning
National Category
Computer Systems
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:umu:diva-120745DOI: 10.1017/S1471068416000090ISI: 000391949800003OAI: oai:DiVA.org:umu-120745DiVA: diva2:929750
Available from: 2016-05-19 Created: 2016-05-19 Last updated: 2017-03-14Bibliographically approved

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

Altmetric score

Total: 531 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf