Abstract
We investigate the relationship between various alternative semantics for logic programming, viz. the stable model semantics of Gelfond and Lifschitz (1988), the supported model semantics as developed by Apt, Blair and Walker (1988), autoepistemic translations (cf. Moore (1985)) of general logic programs and default translations of general logic programs, Reiter (1980).
Original language | English (US) |
---|---|
Pages (from-to) | 365-386 |
Number of pages | 22 |
Journal | Theoretical Computer Science |
Volume | 103 |
Issue number | 2 |
DOIs | |
State | Published - Sep 14 1992 |
Externally published | Yes |
Funding
We are grateful to an anonymous referee for his/her insightful comments which led us to strengthen many of the results of the paper. We thank Howard Blair for comments which helped simplify and improve many of the proofs as well as the presentation. First author’s work was partly supported by National Science Foundation Grant RI1 8610671a nd the Commonwealth of Kentucky EPSCoR program.
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science