Translating PDDL into CSP# - The PAT Approach.
Yi LiJing SunJin Song DongYang LiuJun SunPublished in: ICECCS (2012)
Keyphrases
- constraint satisfaction problems
- soft constraints
- global constraints
- planning graph
- arc consistency
- situation calculus
- ai planning
- planning domains
- constraint propagation
- constraint satisfaction
- decomposition methods
- constraint programming
- partial constraint satisfaction
- temporal planning
- derived predicates
- tree decomposition
- definition language
- constraint networks
- planning systems
- np complete
- arc consistency algorithm
- tree decompositions
- np hard
- orders of magnitude
- constraint solving