On the strong completion of logic programs

A new completion theory for logic programming called strong completion, is introduced. Similar to the Clark's completion, the strong completion can be interpreted either in two-valued or three-valued logic. We show that ⋆Two-valued strong completion specifies the stable semantics. ⋆Three-valued strong completion specifies the well-founded semantics.

[1]  Phan Minh Dung,et al.  A Natural Semantics for Logic Programs with Negation , 1989, FSTTCS.

[2]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[3]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[4]  Phan Minh Dung.  Strong Circumscription Specifies Stable Semantics of Normal Logic Programs , 1990, ECAI.

[5]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[6]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[7]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[8]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[9]  John C. Shepherdson,et al.  Negation in Logic Programming , 1988, Foundations of Deductive Databases and Logic Programming..

[10]  Phan Minh Dung,et al.  A Fixpoint Approach to Declarative Semantics of Logic Programs , 1989, NACLP.

[11]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[12]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[13]  Victor W. Marek,et al.  Stable Semantics for Logic Programs and Default Theories , 1989, NACLP.

[14]  Kenneth A. Ross,et al.  A procedural semantics for well founded negation in logic programs , 1989, J. Log. Program..

[15]  Kenneth Kunen,et al.  Signed Data Dependencies in Logic Programs , 1989, J. Log. Program..

[16]  Kenneth Kunen,et al.  Negation in Logic Programming , 1987, J. Log. Program..

[17]  Teodor C. Przymusinski.  Perfect Model Semantics , 1988, ICLP/SLP.