BDDs Strike Back (in AI Planning).
Stefan EdelkampPeter KissmannÁlvaro TorralbaPublished in: AAAI (2015)
Keyphrases
- ai planning
- heuristic search
- planning problems
- state space
- binary decision diagrams
- search algorithm
- planning under uncertainty
- search space
- temporal planning
- integer programming
- automated planning
- planning systems
- automated web service composition
- web service composition
- constraint satisfaction
- service composition
- planning domains
- markov decision processes
- set bounds propagation
- machine learning
- action models
- control knowledge
- knowledge compilation
- software engineering
- information retrieval