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 Cognitive Agents Specification Language and Verification Environment - MaRDI portal

The Cognitive Agents Specification Language and Verification Environment (Q3056334)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Cognitive Agents Specification Language and Verification Environment
scientific article

    Statements

    title
    The Cognitive Agents Specification Language and Verification Environment (English)
    0 references
    author
    Steven Shapiro
    0 references
    Yves Lespérance
    0 references
    Hector J. Levesque
    0 references
    publication date
    11 November 2010
    0 references
    zbMATH Keywords
    multiagent systems
    0 references
    describes a project that uses
    GOLOG
    0 references
    PVS
    0 references

    Identifiers

    zbMATH DE Number
    5815355
    0 references
    OpenAlex ID
    W1502812478
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3056334&oldid=32039689"
    Powered by MediaWiki