Login / Signup

Learning Theorem Proving Components.

Karel ChvalovskýJan JakubuvMiroslav OlsákJosef Urban
Published in: TABLEAUX (2021)
Keyphrases
  • theorem proving
  • learning algorithm
  • automated reasoning
  • first order logic
  • search algorithm
  • learning process
  • active learning