Multi-shot ASP solving with clingo (Q5197744)

From MaRDI portal
Revision as of 19:13, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 7107408
Language Label Description Also known as
English
Multi-shot ASP solving with clingo
scientific article; zbMATH DE number 7107408

    Statements

    title
    Multi-shot ASP solving with clingo (English)
    0 references
    author
    Martin Gebser
    0 references
    Roland Kaminski
    0 references
    Benjamin Kaufmann
    0 references
    Torsten Schaub
    0 references
    publication date
    19 September 2019
    0 references
    describes a project that uses
    Potassco
    0 references
    plasp
    0 references
    WASP
    0 references
    ROSoClingo
    0 references
    ActHEX
    0 references
    asprin
    0 references
    LUPS
    0 references
    Gringo
    0 references
    DLV-EX
    0 references
    z3
    0 references
    oClingo
    0 references
    Clingcon
    0 references
    MiniSat
    0 references
    Lparse
    0 references
    D-FLAT
    0 references
    Moviola
    0 references

    Identifiers

    zbMATH DE Number
    7107408
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5197744&oldid=29261534"
    Powered by MediaWiki