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

Full description

Saved in:

Bibliographic Details
Published in:	The journal of logic programming Vol. 35; no. 2; pp. 171 - 194
Main Author:	Bochman, Alexander
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.05.1998
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!