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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Electronic notes in theoretical computer science Ročník 328; s. 59 - 71
Hlavní autoři: Osorio, Mauricio, Carballido, José Luis, Zepeda, Claudia
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 08.12.2016
Témata:
Argumentation semantics
logic programming semantics
stage argumentation semantics
logic programming semantics
Argumentation semantics
stage argumentation semantics
ISSN:1571-0661, 1571-0661
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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