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

Celý popis

Podrobná bibliografia

Vydané v:	The journal of logic programming Ročník 35; číslo 2; s. 171 - 194
Hlavný autor:	Bochman, Alexander
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.05.1998
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!