Prolog Technology Reinforcement Learning Prover (Q5049033)

From MaRDI portal
scientific article; zbMATH DE number 7614694
Language Label Description Also known as
English
Prolog Technology ReinforcementĀ Learning Prover
scientific article; zbMATH DE number 7614694

    Statements

    Prolog Technology Reinforcement Learning Prover (English)
    0 references
    0 references
    0 references
    0 references
    9 November 2022
    0 references
    automated theorem proving
    0 references
    reinforcement learning
    0 references
    logic programming
    0 references
    connection tableau calculus
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers