A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion

We suggest a general logical formalism for Logic Programming based on a four-valued inference. We show that it forms a proper setting for representing logic programs with negation as failure of a most general kind and for describing logics and semantics that characterize their behavior. In this way...

Full description

Bibliographic Details

Published in:	The journal of logic programming Vol. 35; no. 2; pp. 151 - 170
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!