On Signings and the Well-Founded Semantics

In this note, we use Kunen’s notion of a signing to establish two theorems about the well-founded semantics of logic programs, in the case where we are interested in only (say) the positive literals of a predicate p that are consequences of the program. The first theorem identifies a class of progra...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming 2022-01, Vol.22 (1), p.115-127
1. Verfasser:	MAHER, MICHAEL J.
Format:	Artikel
Sprache:	eng
Schlagworte:	Logic programming Logic programs Semantics Theorems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!