The Stable Semantics and its Variants: A Comparison of Recent Approaches

The stable and the well-founded semantics are among the leading semantics for logic programs. While stable models do not always exist (and therefore no meaningful inferences can be drawn), the (three-valued) well-founded model is always defined. A weakness of WFS on the other hand is its inability to allow for reasoning-by-cases.

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

[2]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[3]  José Júlio Alferes,et al.  Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation , 1994, ECAI.

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

[5]  Anil Nerode,et al.  An Abductive Framework for Generalized Logic Programs , 1993 .

[6]  Cees Witteveen.  Partial Semantics for Truth Maintenance - a Compositional Approach , 1990, JELIA.

[7]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[8]  Carlo Zaniolo,et al.  Partial Models and Three-Valued Models in Logic Programs with Negation , 1991, LPNMR.

[9]  Li-Yan Yuan,et al.  On the Equivalence of Semantics for Normal Logic Programs , 1995, J. Log. Program..

[10]  V. S. Subrahmanian,et al.  WFS + Branch and Bound = Stable Models , 1995, IEEE Trans. Knowl. Data Eng..

[11]  Victor W. Marek,et al.  The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning , 1989, ICLP.

[12]  Jürgen Dix.  Classifying Semantics of Logic Programs (Extended Abstract) , 1991, LPNMR.

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

[14]  Alberto Torres.  Negation as Failure to Support , 1993, LPNMR.

[15]  Christine Froidevaux,et al.  General Logical Databases and Programs: Default Logic Semantics and Stratification , 1991, Inf. Comput..

[16]  Jürgen Dix,et al.  Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview , 1996, Logic, Action, and Information.

[17]  Vladimir Lifschitz,et al.  Splitting a Logic Program , 1994, ICLP.

[18]  Jürgen Dix,et al.  A Framework for Representing and Characterizing Semantics of Logic Programs , 1992, KR.