Hierarchical Constraint Logic Programming.
Molly WilsonAlan BorningPublished in: J. Log. Program. (1993)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- answer set programming
- logic programming
- constraint programming
- hierarchical structure
- proof theoretic
- constraint propagation
- logic programs
- programming paradigms
- artificial intelligence
- global constraints
- temporal reasoning
- special case
- finite domain
- search algorithm
- reinforcement learning