Inductive Definitions and Type Theory: an Introduction (Preliminary Version).
Thierry CoquandPeter DybjerPublished in: FSTTCS (1994)
Keyphrases
- preliminary version
- deductive reasoning
- theoretical basis
- computational model
- inductive learning
- theoretical framework
- knowledge representation
- database
- machine learning
- inductive inference
- formal theory
- computer vision
- digital libraries
- evolutionary algorithm
- social networks
- inductive logic programming
- theoretical foundation
- real world
- neural network
- data sets