Multi-shot ASP solving with clingo (Q5197744)

From MaRDI portal
Revision as of 12:41, 20 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
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
    zbMATH DE Number
    7107408
    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
    arXiv ID
    1705.09811
    0 references
    cites work
    Q4864249
    0 references
    Advances in WASP
    0 references
    Q2845506
    0 references
    Abstract gringo
    0 references
    Q3011296
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5197744&oldid=36525282"
    Powered by MediaWiki