Induction in the Elementary Theory of Types and Names.

Published in: CSL (1987)

Keyphrases

theoretical framework
multiscale
set theory
real time
search engine
information systems
expert systems
training set
artificial neural networks
logic programs
knowledge acquisition
general theory
concept formation
formal theory