Fast Probabilistic Planning through Weighted Model Counting.
Carmel DomshlakJörg HoffmannPublished in: ICAPS (2006)
Keyphrases
- probabilistic planning
- weighted model counting
- probabilistic inference
- bayesian inference
- model counting
- heuristic search
- planning problems
- planning under uncertainty
- graphical models
- belief networks
- ai planning
- message passing
- satisfiability testing
- partially observable
- conditional probabilities
- state space
- approximate inference
- infinite horizon