A Hypergraph model for Constraint Logic Programming and Applications to Bus Drivers' Scheduling.
Paolo CarraresiGiorgio GalloGabriella RagoPublished in: Ann. Math. Artif. Intell. (1993)
Keyphrases
- constraint logic programming
- hypergraph model
- constraint solving
- logic programming language
- answer set programming
- logic programming
- constraint programming
- set covering
- constraint propagation
- scheduling problem
- programming paradigms
- temporal reasoning
- resource allocation
- proof theoretic
- global constraints
- answer sets
- constraint satisfaction
- high level
- orders of magnitude
- constraint satisfaction problems
- special case
- expert systems
- natural language