Integrating Logic and Constraint Reasoning in a Timeline-Based Planner.
Riccardo De BenedictisAmedeo CestaPublished in: AI*IA (2015)
Keyphrases
- constraint reasoning
- constraint propagation
- temporal constraints
- temporal reasoning
- modal logic
- logic programming
- heuristic search
- classical logic
- arc consistency
- domain independent
- constraint satisfaction
- multi valued
- path consistency
- search algorithm
- constraint satisfaction problems
- visual information
- constraint networks
- plan execution
- upper bound