Bar Induction and omega Model Reflection.
Gerhard JägerThomas StrahmPublished in: Ann. Pure Appl. Log. (1999)
Keyphrases
- computational model
- neural network
- mathematical model
- database
- probabilistic model
- probability distribution
- theoretical framework
- data sets
- machine learning
- information systems
- prior knowledge
- simulation model
- d objects
- object model
- prediction model
- formal model
- statistical model
- management system
- high level
- social networks
- real time