Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The ASP system DLV2 - MaRDI portal

The ASP system DLV2 (Q2401936)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The ASP system DLV2
scientific article

    Statements

    title
    The ASP system DLV2 (English)
    0 references
    author
    Mario Alviano
    0 references
    Francesco Calimeri
    0 references
    Carmine Dodaro
    0 references
    Davide Fuscà
    0 references
    Nicola Leone
    0 references
    Simona Perri
    0 references
    Francesco Ricca
    0 references
    Pierfrancesco Veltri
    0 references
    Jessica Zangari
    0 references
    publication date
    5 September 2017
    0 references
    zbMATH Keywords
    answer-set programming
    0 references
    grounding
    0 references
    solving
    0 references
    describes a project that uses
    WASP
    0 references
    DLV
    0 references
    Clingo
    0 references

    Identifiers

    zbMATH DE Number
    6769663
    0 references
    Wikidata QID
    Q62043809
    0 references
    OpenAlex ID
    W2733732676
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2401936&oldid=31942449"
    Powered by MediaWiki