An Isabelle/HOL-based model of stratego-like traversal strategies.
Markus KaiserRalf LämmelPublished in: PPDP (2009)
Keyphrases
- mathematical model
- formal model
- theoretical framework
- theorem prover
- web services
- high level
- experimental data
- parameter estimation
- computational model
- theoretical analysis
- prediction model
- network structure
- hierarchical structure
- neural network
- maximum likelihood
- probabilistic model
- expert systems
- multi agent systems
- data structure
- multi agent
- search engine