Iterations of Satisfaction Classes and Models of Peano Arithmetic.

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

Keyphrases

database
probabilistic model
model selection
statistical models
complex systems
data mining
genetic algorithm
prior knowledge
experimental data
user satisfaction
iterative process