A logical foundation for logic programming II: Semantics of general logic programs

We suggested in Part I of this study a general logical formalism for Logic Programming based on a four-valued inference. In this paper we give a uniform representation of various semantics for logic programs based on this formalism. The main conclusion from this representation is that the distinctio...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The journal of logic programming Jg. 35; H. 2; S. 171 - 194
1. Verfasser:	Bochman, Alexander
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.05.1998
Schlagworte:	Foundations of logic programming Negation as failure Nonmonotonic reasoning Semantics for logic programs Negation as failure Foundations of logic programming Nonmonotonic reasoning Semantics for logic programs
ISSN:	0743-1066, 1873-5789
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!