Automatic Planning: From Event-B to PDDL.
Sabrine AmmarMohamed Tahar BhiriPublished in: MEDI Workshops (2018)
Keyphrases
- ai planning
- planning domains
- planning problems
- planning systems
- derived predicates
- event detection
- heuristic search
- decision support
- classical planning
- temporal planning
- planning tasks
- event driven
- blocks world
- integer programming
- situation calculus
- global constraints
- goal directed
- semi automatic
- event recognition
- plan generation