Keyphrases
- constraint logic programming
- international conference
- constraint solving
- logic programming
- answer set programming
- logic programming language
- lecture notes in artificial intelligence
- computational intelligence
- constraint programming
- conference proceedings
- book constitutes the refereed proceedings
- temporal reasoning
- computer science
- lecture notes
- knowledge discovery and data mining
- constraint propagation
- international workshop
- expert systems
- proof theoretic
- programming paradigms
- global constraints
- high level
- constraint satisfaction
- proceedings of the th international conference
- search space
- natural language
- search algorithm
- database systems
- artificial intelligence