Epistemic foundation of stable model semantics (Q5492048)

From MaRDI portal
scientific article; zbMATH DE number 5063111
Language Label Description Also known as
English
Epistemic foundation of stable model semantics
scientific article; zbMATH DE number 5063111

    Statements

    Epistemic foundation of stable model semantics (English)
    0 references
    0 references
    0 references
    12 October 2006
    0 references
    0 references
    Bilattices
    0 references
    Fixed-point semantics
    0 references
    Logic programs
    0 references
    Stable model semantics
    0 references
    Nonmonotonic reasoning
    0 references
    0 references
    0 references