End Extensions of Models of Weak Arithmetic Theories.

Costas Dimitracopoulos Vasileios S. Paschalis

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

Keyphrases

prior knowledge
probabilistic model
statistical models
computational models
data mining
parameter estimation
experimental data
data sets
learning algorithm
e learning
database systems
machine learning algorithms
theoretical framework
learned models
formal models