Lazy Model Expansion: Interleaving Grounding with Search.
Broes De CatMarc DeneckerMaurice BruynooghePeter J. StuckeyPublished in: J. Artif. Intell. Res. (2015)
Keyphrases
- probabilistic model
- computational model
- statistical model
- mathematical model
- search algorithm
- probability distribution
- search strategy
- theoretical framework
- sensitivity analysis
- prior knowledge
- formal model
- high level
- database
- machine learning
- search efficiency
- search strategies
- neural network model
- prediction model
- theoretical analysis
- management system
- data model
- search space
- bayesian networks
- image segmentation
- case study