Shoenfield is Gödel after Krivine.

Thomas Streicher Ulrich Kohlenbach

Published in: Math. Log. Q. (2007)

Keyphrases

social bookmarking
databases
decision making
knowledge base
image processing
information retrieval
genetic algorithm
training data
bayesian networks
expert systems
high dimensional
domain knowledge
probability distribution
knowledge representation
user behavior