Induction Is Not Derivable in Second Order Dependent Type Theory.

Published in: TLCA (2001)

Keyphrases

theoretical framework
higher order
machine learning
computer vision
similarity measure
theoretical basis
knowledge base
formal theory
data mining
general theory
subgroup discovery
concept learning
classification rules
high order
information technology
expert systems
decision trees
image processing
feature selection