Model Constructions in Stationary Logic. Part I. Forcing.

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

Keyphrases

computational model
machine learning
mathematical model
similarity measure
objective function
experimental data
formal model
em algorithm
hierarchical structure
bayesian framework
simulation model
prediction model