Logic programming with default, weak and strict negations

This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms o...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 6; no. 6; pp. 737 - 749
Main Author:	YAMASAKI, SUSUMU
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.11.2006
Subjects:	Technical Note 3-valued logic negation in logic programming
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.
Bibliography:	SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14
ISSN:	1471-0684 1475-3081
DOI:	10.1017/S1471068406002791