Fast interpreter for logical reasoning in general game playing (Q2957963)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Fast interpreter for logical reasoning in general game playing
scientific article

    Statements

    Fast interpreter for logical reasoning in general game playing (English)
    0 references
    0 references
    0 references
    31 January 2017
    0 references
    first-order logic
    0 references
    general game playing
    0 references
    game description language
    0 references
    Prolog
    0 references
    logical programming
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references