Extensions of Initial Models and their Second-Order Proof Systems.
Pierre-Yves SchobbensPublished in: HOA (1993)
Keyphrases
- complex systems
- computational models
- analytical models
- mathematical models
- probabilistic model
- higher order
- distributed systems
- statistical models
- bayesian networks
- physical systems
- biological systems
- multiscale
- experimental data
- parameter estimation
- computer systems
- logic programs
- finite state machines
- multi agent systems
- information retrieval