Intelligent Backtracking for CLP Languages: An Application to CLP(R).
Bruno De BackerHenri BeringerPublished in: ISLP (1991)
Keyphrases
- constraint logic programming
- constraint propagation
- constraint programming
- constraint solving
- constraint satisfaction
- logic programming
- language independent
- answer set programming
- intelligent systems
- logic programming language
- artificial intelligence
- data mining
- expressive power
- decision support
- object oriented
- search tree
- search space
- case study
- information systems
- text summarization
- grammatical inference
- neural network