Keyphrases
- formal semantics
- goal oriented
- logic programming
- heuristic search
- parallel processing
- planning problems
- genetic algorithm
- shared memory
- parallel implementation
- enforced hill climbing
- database
- plan execution
- ai planning
- massively parallel
- parallel computing
- motion planning
- post processing
- decision support
- relational databases
- optimal solution
- data sets