Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130)

From MaRDI portal
Revision as of 10:36, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
scientific article

    Statements

    Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (English)
    0 references
    0 references
    0 references
    0 references
    19 October 2009
    0 references
    answer set programing
    0 references
    abstract constraint atoms
    0 references
    stable model semantics
    0 references
    Gelfond-Lifschitz transformation
    0 references

    Identifiers