Universal Theories and compactly Expandable Models.
Enrique CasanovasSaharon ShelahPublished in: J. Symb. Log. (2019)
Keyphrases
- formal models
- real time
- accurate models
- experimental data
- domain knowledge
- probabilistic model
- theoretical models
- classification models
- software architecture
- parameter estimation
- logic programs
- evolutionary algorithm
- video sequences
- multiscale
- bayesian networks
- three dimensional
- information systems
- artificial intelligence
- data mining