ERA is in the process of being migrated to Scholaris, a Canadian shared institutional repository service (https://scholaris.ca). Deposits to existing ERA collections are frozen until migration is complete. Please contact erahelp@ualberta.ca for further assistance
Communities and Collections
Usage
- 186 views
- 161 downloads
Minimal Well-Founded Semantics and Autoepistemic Circumscription
-
- Author(s) / Creator(s)
-
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 semantics. By representing logic programs as autoepistemic theories, we are able to represent various semantics as simple circumscription formulas. | TRID-ID TR92-15
-
- Date created
- 1992
-
- Subjects / Keywords
-
- Type of Item
- Report
-
- License
- Attribution 3.0 International