One Hundred and Two Problems in Mathematical Logic.

Harvey Friedman

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

Keyphrases

artificial intelligence
feature space
optimization problems
logic programming
related problems
similar problems
data sets
application domains
database
machine learning
learning algorithm
feature selection
multiscale
benchmark problems
probability theory
classical logic