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
Structured learning modulo theories - MaRDI portal

Structured learning modulo theories (Q511777)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Structured learning modulo theories
scientific article

    Statements

    title
    Structured learning modulo theories (English)
    0 references
    author
    Stefano Teso
    0 references
    Roberto Sebastiani
    0 references
    Andrea Passerini
    0 references
    publication date
    22 February 2017
    0 references
    zbMATH Keywords
    satisfiability modulo theory
    0 references
    structured-output support vector machines
    0 references
    optimization modulo theory
    0 references
    constructive machine learning
    0 references
    learning with constraints
    0 references
    describes a project that uses
    SYMBA
    0 references
    MathSAT
    0 references
    Church
    0 references
    ProbLog
    0 references
    cites work
    Q3510469
    0 references
    Q3093306
    0 references
    Q5503674
    0 references
    Q3506045
    0 references
    Q5457277
    0 references

    Identifiers

    zbMATH DE Number
    6687952
    0 references
    OpenAlex ID
    W2158797600
    0 references
    arXiv ID
    1405.1675
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q511777&oldid=38381549"
    Powered by MediaWiki