Defining Stage Argumentation Semantics in Terms of an Abducible Semantics

We define a new logic programming semantics in terms of abducible atoms. We use it to characterize the stage extensions of an argumentation framework AF by means of an associated normal program PAF. We also define the stage semantics for a special type of normal programs and present a similar charac...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Electronic notes in theoretical computer science Jg. 328; S. 59 - 71
Hauptverfasser: Osorio, Mauricio, Carballido, José Luis, Zepeda, Claudia
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 08.12.2016
Schlagworte:
Argumentation semantics
logic programming semantics
stage argumentation semantics
logic programming semantics
Argumentation semantics
stage argumentation semantics
ISSN:1571-0661, 1571-0661
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We define a new logic programming semantics in terms of abducible atoms. We use it to characterize the stage extensions of an argumentation framework AF by means of an associated normal program PAF. We also define the stage semantics for a special type of normal programs and present a similar characterization.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2016.11.006