|Abstract||The family of all stable models for a logic program has a surprisingly simple overall structure, once two naturally occurring orderings are made explicit. In a so-called knowledge ordering based on degree of deﬁnedness, every logic program P has a smallest stable model, sk P — it is the well-founded model. There is also a dual largest stable model, S k P, which has not been considered before. There is another ordering based on degree of truth. Taking the meet and the join, in the truth ordering, of the two extreme stable models sk P and S..|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Steven Buechler (1984). Expansions of Models of Ω-Stable Theories. Journal of Symbolic Logic 49 (2):470-477.
Yining Wu, Martin Caminada & Dov M. Gabbay (2009). Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Studia Logica 93 (2/3):383 - 403.
Ludomir Newelski (1996). On Atomic or Saturated Sets. Journal of Symbolic Logic 61 (1):318-333.
Wiebe Hoek, Jan Jaspars & Elias Thijsse (1996). Honesty in Partial Logic. Studia Logica 56 (3):323 - 360.
Timothy Bays (2001). Partitioning Subsets of Stable Models. Journal of Symbolic Logic 66 (4):1899-1908.
Alexander Berenstein (2003). Simple Stable Homogeneous Groups. Journal of Symbolic Logic 68 (4):1145-1162.
Joohyung Lee & Vladimir Lifschitz, Safe Formulas in the General Theory of Stable Models (Preliminary Report).
Ehud Hrushovski (1989). Kueker's Conjecture for Stable Theories. Journal of Symbolic Logic 54 (1):207-220.
Rainer Kerth (1998). The Interpretation of Unsolvable Λ-Terms in Models of Untyped Λ-Calculus. Journal of Symbolic Logic 63 (4):1529-1548.
Oleg V. Belegradek (1998). On Minimal Structures. Journal of Symbolic Logic 63 (2):421-426.
Miloš S. Kurilić (2001). Cohen-Stable Families of Subsets of Integers. Journal of Symbolic Logic 66 (1):257-270.
Saharon Shelah (1979). On Uniqueness of Prime Models. Journal of Symbolic Logic 44 (2):215-220.
Louis Marinoff (1990). The Inapplicability of Evolutionarily Stable Strategy to the Prisoner's Dilemma. British Journal for the Philosophy of Science 41 (4):461-472.
Added to index2010-12-22
Total downloads2 ( #245,904 of 722,826 )
Recent downloads (6 months)1 ( #60,541 of 722,826 )
How can I increase my downloads?