The relationship between stable, supported, default and autoepistemic semantics for general logic programs

W. Marek*, V. S. Subrahmanian

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

62 Scopus citations

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 languageEnglish (US)
Pages (from-to)365-386
Number of pages22
JournalTheoretical Computer Science
Volume103
Issue number2
DOIs
StatePublished - Sep 14 1992
Externally publishedYes

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

Fingerprint

Dive into the research topics of 'The relationship between stable, supported, default and autoepistemic semantics for general logic programs'. Together they form a unique fingerprint.

Cite this