Gradualizing the Calculus of Inductive Constructions.
Meven Lennon-BertrandKenji MaillardNicolas TabareauÉric TanterPublished in: ACM Trans. Program. Lang. Syst. (2022)
Keyphrases
- inductive learning
- concept learning
- inductive reasoning
- machine learning
- inductive inference
- computer algebra
- formal language
- knowledge representation
- inductive logic programming
- functional programs
- provably correct
- algebraic structure
- artificial intelligence
- databases
- domain knowledge
- automated deduction
- learning algorithm
- data mining
- database