David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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 downloads4 ( #271,951 of 1,139,847 )
Recent downloads (6 months)1 ( #165,020 of 1,139,847 )
How can I increase my downloads?