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

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 23; no. 2; pp. 444 - 467
Main Authors:	FANDINNO, JORGE, FARIÑAS DEL CERRO, LUIS
Format:	Journal Article
Language:	English
Published:	Cambridge Cambridge University Press 01.03.2023
Subjects:	Declarative programming Equilibrium Inference Language Logic programming Mathematical programming Principles Semantics
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!