Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison.
Molly WilsonAlan BorningPublished in: NACLP (1989)
Keyphrases
- constraint logic programming
- hierarchical structure
- hierarchical organization
- constraint solving
- answer set programming
- logic programming language
- constraint programming
- logic programming
- proof theoretic
- temporal reasoning
- concept hierarchy
- databases
- constraint propagation
- nonmonotonic reasoning
- finite domain
- hierarchical structures
- default reasoning
- constraint satisfaction
- low level