On the relation among answer set solvers (Q1028643)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the relation among answer set solvers
scientific article

    Statements

    title
    On the relation among answer set solvers (English)
    0 references
    author
    Enrico Giunchiglia
    0 references
    Nicola Leone
    0 references
    Marco Maratea
    0 references
    publication date
    6 July 2009
    0 references
    describes a project that uses
    ASSAT
    0 references
    Chaff
    0 references
    Cmodels
    0 references
    nomore++
    0 references
    cites work
    Q5480653
    0 references
    Q2747613
    0 references
    Q5715702
    0 references
    Q4708951
    0 references
    Tight logic programs
    0 references
    Q3983043
    0 references
    Logic Programming
    0 references
    Q4702576
    0 references
    Q4256671
    0 references
    Q4273952
    0 references
    Q5490663
    0 references
    Q4473043
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N17
    0 references
    68T20
    0 references
    68T27
    0 references
    zbMATH DE Number
    5576024
    0 references
    OpenAlex ID
    W2018172994
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1028643&oldid=38591126"
    Powered by MediaWiki