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
Effectively Reasoning about Infinite Sets in Answer Set Programming - MaRDI portal

Effectively Reasoning about Infinite Sets in Answer Set Programming (Q3001917)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Effectively Reasoning about Infinite Sets in Answer Set Programming
scientific article

    Statements

    title
    Effectively Reasoning about Infinite Sets in Answer Set Programming (English)
    0 references
    author
    Victor W. Marek
    0 references
    Jeffery B. Remmel
    0 references
    publication date
    19 May 2011
    0 references
    describes a project that uses
    ASSAT
    0 references
    clasp
    0 references

    Identifiers

    zbMATH DE Number
    5897817
    0 references
    OpenAlex ID
    W123381892
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3001917&oldid=31665615"
    Powered by MediaWiki