Completed logic programs and their consistency

Publisher Website

31 July 1990

journal article
Published by Elsevier in The Journal of Logic Programming

Vol. 9 (1) , 33-44
https://doi.org/10.1016/0743-1066(90)90032-z

Abstract

No abstract available

Keywords

COMPLETED LOGIC PROGRAM

This publication has 8 references indexed in Scilit:

Signed data dependencies in logic programs
The Journal of Logic Programming, 1989
On the Declarative Semantics of Deductive Databases and Logic Programs
Published by Elsevier ,1988
Towards a Theory of Declarative Knowledge
Published by Elsevier ,1988
Negation in logic programming
The Journal of Logic Programming, 1987
Georges Darien: Robbery and Private Enterprise
The Modern Language Review, 1987
A kripke-kleene semantics for logic programs*
The Journal of Logic Programming, 1985
Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
The Journal of Logic Programming, 1984
Negation as Failure
Published by Springer Nature ,1978