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

54 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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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