Extending and implementing the stable model semantics (Q1603743)

From MaRDI portal
Revision as of 10:38, 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
Extending and implementing the stable model semantics
scientific article

    Statements

    title
    Extending and implementing the stable model semantics (English)
    0 references
    author
    Patrik Simons
    0 references
    Ilkka Niemelä
    0 references
    Timo Soininen
    0 references
    publication date
    15 July 2002
    0 references
    zbMATH Keywords
    answer set programming
    0 references
    logic programs
    0 references
    stable model semantics
    0 references
    weight constraints
    0 references
    optimization
    0 references
    describes a project that uses
    NP-SPEC
    0 references
    Smodels
    0 references
    SATO
    0 references
    GraphBase
    0 references
    Datalog
    0 references
    cites work
    Q4800163
    0 references
    Q4264234
    0 references
    Q3140399
    0 references
    Q5750390
    0 references
    Q4702577
    0 references
    Q2734950
    0 references
    Q4955344
    0 references
    Q3221403
    0 references
    Q4028824
    0 references
    Q3983045
    0 references
    Q4955343
    0 references
    Q2767109
    0 references
    Q4798015
    0 references

    Identifiers

    zbMATH DE Number
    1767935
    0 references
    OpenAlex ID
    W2011124182
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1603743&oldid=37318541"
    Powered by MediaWiki