Old Web
English
Sign In
Acemap
>
Paper
>
Prolog Technology Reinforcement Learning Prover: (System Description)
Prolog Technology Reinforcement Learning Prover: (System Description)
2020
Zsolt Zombori
Josef Urban
Chad E. Brown
Keywords:
Prolog
Programming language
Computer science
Reinforcement learning
Gas meter prover
Correction
Source
Cite
Save
Machine Reading By IdeaReader
33
References
0
Citations
NaN
KQI
[]