A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving.
Joaquim Ortiz de HaroErez KarpasMichael KatzMarc ToussaintPublished in: IEEE Robotics Autom. Lett. (2022)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- finite domain
- constraint solver
- constraint satisfaction
- constraint programming
- spoken dialogue
- user interface
- planning problems
- heuristic search
- temporal constraints
- conflict resolution
- ai planning
- mixed initiative