Extending and implementing the stable model semantics (Q1603743)

From MaRDI portal
Revision as of 04:39, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
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 DE Number
    1767935
    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
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1603743&oldid=23678685"
    Powered by MediaWiki