Keyphrases
- sampling strategies
- conformant planning
- symbolic model checking
- computationally hard
- sampling strategy
- forward search
- initial state
- belief space
- finite domain
- active learning
- planning problems
- ai planning
- model checking
- heuristic search
- interactive information retrieval
- constraint programming
- state space
- constraint propagation
- partial observability
- symbolic representation
- data sets
- domain independent
- markov chain
- language model
- data mining