WF 3: A semantics for negation in normal disjunctive logic programs

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 459-468
https://doi.org/10.1007/3-540-54563-8_109

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

On indefinite databases and the closed world assumption
Published by Springer Nature ,2005
A fixpoint semantics for disjunctive logic programs
The Journal of Logic Programming, 1990
Stable models and non-determinism in logic programs with negation
Published by Association for Computing Machinery (ACM) ,1990
Every logic program has a natural stratification and an iterated least fixed point model
Published by Association for Computing Machinery (ACM) ,1989
Unfounded sets and well-founded semantics for general logic programs
Published by Association for Computing Machinery (ACM) ,1988
Foundations of Logic Programming
Published by Springer Nature ,1987