Transfinite Recursive Progressions of Axiomatic Theories.

Solomon Feferman

Published in: J. Symb. Log. (1962)

Keyphrases

decision theory
axiomatic characterization
theoretical framework
databases
data sets
recursive functions
recursive algorithm
causal reasoning
decision trees
expert systems
information systems
computer vision
information retrieval
formal models
machine learning
data mining
database