Model Companions and k-Model Completeness for the Complete Theories of Boolean Algebras.
J. MeadGeorge C. NelsonPublished in: J. Symb. Log. (1980)
Keyphrases
- data sets
- mathematical model
- high level
- formal model
- management system
- input data
- computational model
- parameter values
- real time
- computational models
- bayesian framework
- neural network model
- theoretical framework
- parameter estimation
- em algorithm
- probability distribution
- control system
- case study
- artificial intelligence
- neural network