Machine Learning for Inductive Theorem Proving.
Yaqing JiangPetros PapapanagiotouJacques D. FleuriotPublished in: AISC (2018)
Keyphrases
- theorem proving
- machine learning
- inductive learning
- inductive logic programming
- first order logic
- inductive concept learning
- automated deduction
- automated reasoning
- decision procedures
- theorem prover
- parallel search
- inference rules
- term rewriting
- knowledge representation
- automated theorem proving
- geometry theorem proving
- learning algorithm
- proof planning
- automatic programming
- proof procedure
- logical inference
- consequence finding
- artificial intelligence
- text classification
- supervised learning
- data mining
- natural language
- predicate calculus
- distributed search
- combinatorial search
- decision trees
- feature selection
- active learning
- mathematical knowledge
- semi supervised learning