Minimal Satisfaction Classes with an Application to Rigid Models of Peano Arithmetic.

Roman Kossak James H. Schmerl

Published in: Notre Dame J. Formal Log. (1991)

Keyphrases

statistical models
rigid parts
genetic algorithm
learning algorithm
artificial intelligence
decision trees
bayesian networks
video sequences
experimental data
accurate models