Constructor Subtyping in the Calculus of Inductive Constructions.
Gilles BartheFemke van RaamsdonkPublished in: FoSSaCS (2000)
Keyphrases
- inductive learning
- machine learning
- automated deduction
- rule learning
- inductive inference
- neural network
- number restrictions
- formal language
- inductive logic programming
- knowledge representation
- temporal logic
- evolutionary algorithm
- concept learning
- search algorithm
- video sequences
- search engine
- information retrieval
- inductive reasoning
- sequent calculus
- deductive reasoning
- databases
- inductive concept learning