Planning with a Language for Extended Goals.
Ugo Dal LagoMarco PistorePaolo TraversoPublished in: AAAI/IAAI (2002)
Keyphrases
- temporally extended goals
- temporal logic
- programming language
- heuristic search
- intended meaning
- planning process
- decision support
- data sets
- language learning
- language processing
- specification language
- blocks world
- strategic and tactical
- model checking
- mixed initiative
- natural language
- logical language
- linear temporal logic
- information retrieval
- database