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
Metric temporal answer set programming over timed traces - MaRDI portal

Metric temporal answer set programming over timed traces (Q2694559)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Metric temporal answer set programming over timed traces
scientific article

    Statements

    title
    Metric temporal answer set programming over timed traces (English)
    0 references
    author
    Pedro Cabalar
    0 references
    Martín Diéguez
    0 references
    Torsten Schaub
    0 references
    Anna Schuhmann
    0 references
    publication date
    4 April 2023
    0 references
    zbMATH DE Number
    7671883
    0 references
    OpenAlex ID
    W4293179936
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2694559&oldid=37504463"
    Powered by MediaWiki