On the Relations between Stable and Well-Founded Semantics of Logic Programs

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

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

[3]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

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

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

[6]  Vladimir Lifschitz,et al.  Computing Circumscription , 1985, IJCAI.

[7]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

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

[9]  V. Lifschitz,et al.  The Stable Model Semantics for Logic Programming , 1988, ICLP/SLP.

[10]  Kenneth Kunen,et al.  Some Remarks on the Completed Database , 1990, ICLP/SLP.

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

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

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

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

[15]  Teodor C. Przymusinski.  Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming , 1989, KR.

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

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

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

[19]  Teodor C. Przymusinski.  The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics , 1990, Fundam. Inform..

[20]  Mark Wallace,et al.  Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? , 1990, ECAI.

[21]  Phan Minh Dung,et al.  Negations as Hypotheses: An Abductive Foundation for Logic Programming , 1991, ICLP.