NNIL-formulas revisited: Universal models and finite model property.
Julia IlinDick de JonghFan YangPublished in: J. Log. Comput. (2021)
Keyphrases
- probabilistic model
- hybrid model
- statistical model
- experimental data
- modeling framework
- accurate models
- linear model
- parameter estimation
- predictive model
- model construction
- statistical models
- neural network model
- bayesian framework
- autoregressive
- prediction model
- linear models
- linear regression
- learning models
- classification models
- computational model
- diffusion model
- data sets
- hierarchical model
- multiple models
- domain models
- analytical model
- random fields
- formal model
- artificial neural networks
- objective function
- neural network