Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface.
Maurice BoffaAnnalisa MarcjaDaniele MundiciPublished in: Ann. Pure Appl. Log. (1997)
Keyphrases
- formal model
- experimental data
- probabilistic model
- computational model
- theoretical framework
- real time
- mathematical model
- objective function
- management system
- statistical model
- mathematical framework
- mathematical models
- object model
- computational models
- conceptual model
- model selection
- prior knowledge
- high level
- machine learning