Solving Advanced Argumentation Problems with Answer Set Programming (Q4957200)

From MaRDI portal
scientific article; zbMATH DE number 7390854
Language Label Description Also known as
English
Solving Advanced Argumentation Problems with Answer Set Programming
scientific article; zbMATH DE number 7390854

    Statements

    title
    Solving Advanced Argumentation Problems with Answer Set Programming (English)
    0 references
    author
    Gerhard Brewka
    0 references
    Martin Diller
    0 references
    Georg Heissenberger
    0 references
    Thomas Linsbichler
    0 references
    Stefan Woltran
    0 references
    publication date
    3 September 2021
    0 references
    zbMATH Keywords
    ADF
    0 references
    GRAPPA
    0 references
    encodings
    0 references
    ASP
    0 references
    describes a project that uses
    DIAMOND
    0 references
    MiniSat
    0 references
    DepQBF
    0 references
    selp
    0 references
    Clingo
    0 references
    Datalog
    0 references
    GRAPPA
    0 references
    Lpopt
    0 references
    cites work
    Multi-valued GRAPPA
    0 references
    Q5282968
    0 references
    Q5215674
    0 references
    Q3983043
    0 references
    Q4583961
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T27
    0 references
    68N17
    0 references
    68T30
    0 references
    zbMATH DE Number
    7390854
    0 references
    arXiv ID
    1912.02734
    0 references
    Wikidata QID
    Q126343850
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4957200&oldid=36711333"
    Powered by MediaWiki