Learning Theorem Proving Components.

Karel Chvalovský Jan Jakubuv Miroslav Olsák Josef Urban

Published in: TABLEAUX (2021)

Keyphrases

theorem proving
learning algorithm
automated reasoning
first order logic
search algorithm
learning process
active learning