Search
Skip to Search Results
Filter
Author / Creator / Contributor
Subject / Keyword
- 2Autoepistemic logic
- 1Circumscription
- 1Default logic
- 1Knowledge representation
- 1Logic program semantics
- 1Logic programming
Year
Collections
Languages
Item type
-
1992
Technical report TR92-15. In this paper we propose the minimal well-founded semantics for logic programs with negation based on the fixpoint of the double Gelfond-Lifschitz transformation which overcomes the existing problems associated with the stable, the well-founded, and the stable class...
1 - 2 of 2