On the equivalence between logic programming semantics and argumentation semantics

In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a b...

Celý popis

Podrobná bibliografia

Vydané v:	International journal of approximate reasoning Ročník 58; s. 87 - 111
Hlavní autori:	Caminada, Martin, Sá, Samy, Alcântara, João, Dvořák, Wolfgang
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.03.2015
Predmet:	Abstract argumentation semantics Approximation Equivalence Logic programming Logic programming semantics Reasoning Semantics Translations Abstract argumentation semantics Logic programming semantics
ISSN:	0888-613X, 1873-4731
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!