Relaxed Exists-Step Plans in Planning as SMT.
Miquel BofillJoan EspasaMateu VillaretPublished in: IJCAI (2017)
Keyphrases
- planning problems
- plan generation
- plan execution
- planning domains
- automated planning
- plan recognition
- planning process
- planning systems
- partial order planning
- optimal plans
- plan repair
- classical planning
- post processing
- ai planning
- heuristic search
- case based planning
- statistical machine translation
- macro actions
- planning under uncertainty
- enforced hill climbing
- multiagent planning
- optimal planning
- goal directed
- optimal solution
- planning tasks
- sensing actions
- conditional plans
- blocks world
- control rules
- belief space
- planning graph
- neural network
- dynamic programming
- information retrieval