CPP: A Constraint Logic Programming Based Planner with Preferences.
Phan Huy TuTran Cao SonEnrico PontelliPublished in: LPNMR (2007)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- answer set programming
- logic programming
- constraint programming
- temporal reasoning
- proof theoretic
- user preferences
- heuristic search
- temporally extended
- domain independent
- constraint propagation
- soft constraints
- programming paradigms
- global constraints
- multi attribute
- constraint solver
- finite domain
- constraint satisfaction problems
- special case
- search algorithm
- reinforcement learning