A CLASSIFICATION THEORY OF SEMANTICS OF NORMAL LOGIC PROGRAMS: II. WEAK PROPERTIES

1 January 1995

journal article
Published by SAGE Publications in Fundamenta Informaticae

Vol. 22 (3) , 257-288
https://doi.org/10.3233/fi-1995-2234

Abstract

Our aim in this article is to supplement the set of strong properties introduced in the preceding article ([Dix94]) with a set of weak principles in order to characterize semantics of logic programs. In [Dix94] we introduced our point of view: we obs

Keywords

SEMANTICS
SUPPLEMENT
OBS
PRECEDING
CLASSIFICATION THEORY
NORMAL LOGIC PROGRAMS

This publication has 0 references indexed in Scilit: