Computing Plans with Control Flow and Procedures Using a Classical Planner.
Sergio Jiménez CelorrioAnders JonssonPublished in: SOCS (2015)
Keyphrases
- control flow
- data flow
- plan execution
- automated planning
- case based planning
- conformant planning
- process model
- software testing
- transition systems
- heuristic search
- planning systems
- initial state
- ai planning
- plan generation
- classical planning
- workflow management systems
- plan recognition
- plan quality
- planning domains
- planning problems
- partial plans
- sensing actions
- databases
- memory hierarchy
- planning graph
- planning process
- formal semantics
- e learning
- information systems