A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning.
Francesco PercassiEnrico ScalaMauro VallatiPublished in: AI*IA (2021)
Keyphrases
- ai planning
- planning domains
- derived predicates
- planning problems
- planning systems
- temporal planning
- planning tasks
- web service composition
- planning process
- classical planning
- query translation
- domain independent
- heuristic search
- optimal planning
- goal directed
- orders of magnitude
- temporal constraints
- temporal reasoning
- machine translation
- definition language
- model checking
- durative actions