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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of approximate reasoning Jg. 58; S. 87 - 111
Hauptverfasser:	Caminada, Martin, Sá, Samy, Alcântara, João, Dvořák, Wolfgang
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.03.2015
Schlagworte:	Abstract argumentation semantics Approximation Equivalence Logic programming Logic programming semantics Reasoning Semantics Translations Abstract argumentation semantics Logic programming semantics
ISSN:	0888-613X, 1873-4731
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!