Gradualizing the Calculus of Inductive Constructions.
Meven Lennon-BertrandKenji MaillardNicolas TabareauÉric TanterPublished in: CoRR (2020)
Keyphrases
- inductive learning
- machine learning
- inductive reasoning
- inductive logic programming
- computer algebra
- algebraic structure
- inductive concept learning
- data structure
- functional programs
- knowledge representation
- concept learning
- automated theorem proving
- constructive induction
- inductive inference
- databases
- artificial neural networks
- relational databases
- real world