System Description: Cooperation in Model Elimination: CPTHEO.
Marc FuchsAndreas WolfPublished in: CADE (1998)
Keyphrases
- high level
- computational model
- formal model
- cooperative
- theoretical analysis
- network model
- mathematical model
- probabilistic model
- theoretical framework
- least squares
- statistical model
- prior knowledge
- evolutionary algorithm
- simulation model
- information retrieval
- experimental data
- management system
- parameter estimation
- database
- probability distribution
- knowledge base
- search engine
- data sets