Keisuke Yahata

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Automated Theorem Proving

Belief Revision

Propositional Logic

Top Venues

Publications

Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai
Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning. CoRR (2018)