Login / Signup
Machine Learning for First-Order Theorem Proving - Learning to Select a Good Heuristic.
James P. Bridge
Sean B. Holden
Lawrence C. Paulson
Published in:
J. Autom. Reason. (2014)
Keyphrases
</>
theorem proving
machine learning
first order logic
learning algorithm
inference rules
term rewriting
supervised learning
proof planning
data mining
artificial intelligence
automatic programming
graphical models
text classification
automated reasoning
logical inference