Contributions to the stable model semantics of logic programs with negation (Q672705)

From MaRDI portal





scientific article; zbMATH DE number 985145
Language Label Description Also known as
English
Contributions to the stable model semantics of logic programs with negation
scientific article; zbMATH DE number 985145

    Statements

    Contributions to the stable model semantics of logic programs with negation (English)
    0 references
    28 February 1997
    0 references
    stable model semantics
    0 references
    nonmonotonic resoning
    0 references

    Identifiers