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á bibliografie

Vydáno v:	International journal of approximate reasoning Ročník 58; s. 87 - 111
Hlavní autoři:	Caminada, Martin, Sá, Samy, Alcântara, João, Dvořák, Wolfgang
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.03.2015
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!