TY - JOUR
T1 - The relationship between stable, supported, default and autoepistemic semantics for general logic programs
AU - Marek, W.
AU - Subrahmanian, V. S.
N1 - Funding Information:
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.
PY - 1992/9/14
Y1 - 1992/9/14
N2 - 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).
AB - 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).
UR - http://www.scopus.com/inward/record.url?scp=0026914596&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0026914596&partnerID=8YFLogxK
U2 - 10.1016/0304-3975(92)90019-C
DO - 10.1016/0304-3975(92)90019-C
M3 - Article
AN - SCOPUS:0026914596
VL - 103
SP - 365
EP - 386
JO - Theoretical Computer Science
JF - Theoretical Computer Science
SN - 0304-3975
IS - 2
ER -