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á bibliografie

Vydáno v:	The journal of logic programming Ročník 35; číslo 2; s. 171 - 194
Hlavní autor:	Bochman, Alexander
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.05.1998
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!