Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic

In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms of Nelson’s constructive logic N4. We do so by formalising, in this logic, two principles that we call noncontradictory inference and strengthened closed world assumption: the first st...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 23; číslo 2; s. 444 - 467
Hlavní autoři:	FANDINNO, JORGE, FARIÑAS DEL CERRO, LUIS
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge Cambridge University Press 01.03.2023
Témata:	Declarative programming Equilibrium Inference Language Logic programming Mathematical programming Principles Semantics
ISSN:	1471-0684, 1475-3081
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!