On Combining Backward and Forward Chaining in Constraint Logic Programming.

Rémy Haemmerlé

Published in: PPDP (2014)

Keyphrases

constraint logic programming
forward chaining
backward chaining
constraint solving
logic programming
constraint programming
defeasible logic
answer set programming
planning systems
constraint propagation
temporal reasoning
horn clauses
machine learning
general purpose
logic programs
global constraints