Automated Planning Through Program Verification.
Salvatore La TorreGennaro ParlatoPublished in: OVERLAY@GandALF (2021)
Keyphrases
- automated planning
- heuristic search
- goal directed
- planning domains
- planning systems
- ai planning
- macro operators
- heuristic search algorithms
- interactive storytelling
- web service composition
- classical planning
- search algorithm
- planning problems
- domain independent
- orders of magnitude
- vision system
- domain specific
- probability distribution