Login / Signup
Learning Theorem Proving Components.
Karel Chvalovský
Jan Jakubuv
Miroslav Olsák
Josef Urban
Published in:
CoRR (2021)
Keyphrases
</>
theorem proving
learning algorithm
learning process
parallel search
first order logic
automated reasoning
term rewriting
proof planning
artificial intelligence
bayesian networks
supervised learning
belief revision
inference rules