Planning and execution with flexible timelines: a formal account.
Marta Cialdea MayerAndrea OrlandiniAlessandro UmbricoPublished in: Acta Informatica (2016)
Keyphrases
- plan generation
- plan execution
- planning problems
- decision support
- formal model
- reactive planning
- execution model
- heuristic search
- formal methods
- lightweight
- database
- mixed initiative
- planning process
- decision making
- blocks world
- search engine
- domain independent
- planning domains
- ai planning
- dynamic environments
- artificial intelligence