Light monotone Dialectica methods for proof mining.

Mircea-Dan Hernest

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

Keyphrases

data mining techniques
significant improvement
empirical studies
computational cost
qualitative and quantitative
data sets
text mining
neural network
evolutionary algorithm
reinforcement learning
semi supervised
three dimensional
search engine
data mining
benchmark datasets
web mining
data mining methods