Ordinal machines and admissible recursion theory.

Peter Koepke Benjamin Seyfferth

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

theoretical framework
complex objects
machine learning
formal theory
databases
neural network
search engine
computer vision
information systems
bayesian networks
association rules
information processing
deductive databases
belief functions
theoretical basis