Extending and implementing the stable model semantics (Q1603743)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extending and implementing the stable model semantics
scientific article

    Statements

    Extending and implementing the stable model semantics (English)
    0 references
    0 references
    0 references
    0 references
    15 July 2002
    0 references
    0 references
    answer set programming
    0 references
    logic programs
    0 references
    stable model semantics
    0 references
    weight constraints
    0 references
    optimization
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references