Towards Hybrid Reasoning for Verifying and Validating Multilevel Models.
Nophadol JekjantukGerd GrönerJeff Z. PanEdward ThomasPublished in: EKAW (2010)
Keyphrases
- experimental data
- probabilistic model
- databases
- accurate models
- formal models
- model construction
- statistical models
- artificial neural networks
- neural network
- hidden markov models
- knowledge representation
- complex systems
- bayesian networks
- knowledge base
- computational models
- spatial reasoning
- information retrieval
- data sets