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
Mathematical applications of inductive logic programming - MaRDI portal

Mathematical applications of inductive logic programming (Q2433178)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Mathematical applications of inductive logic programming
scientific article

    Statements

    title
    Mathematical applications of inductive logic programming (English)
    0 references
    author
    Simon Colton
    0 references
    Stephen H. Muggleton
    0 references
    publication date
    27 October 2006
    0 references
    describes a project that uses
    OTTER
    0 references
    TPTP
    0 references
    Mace4
    0 references
    C4.5
    0 references
    GRAFFITI
    0 references
    tptp2X
    0 references
    OEIS
    0 references
    MathWeb
    0 references
    HR
    0 references
    cites work
    Q4299746
    0 references
    Q3750100
    0 references
    Q4233444
    0 references
    Q3006508
    0 references
    Q4809066
    0 references
    Q4808724
    0 references
    Automated Reasoning
    0 references
    Q4475664
    0 references
    Q2848060
    0 references
    Q4099541
    0 references
    Clausal discovery
    0 references
    Q4877538
    0 references
    Q4264736
    0 references
    Q4099559
    0 references
    Q3938537
    0 references
    Q4808725
    0 references

    Identifiers

    zbMATH DE Number
    5068105
    0 references
    OpenAlex ID
    W2111038026
    0 references
    Wikidata QID
    Q60692006
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2433178&oldid=37908403"
    Powered by MediaWiki