Constraint Logic Programming for Real-World Test Laboratory Scheduling.
Tobias GeibingerFlorian MischekNysret MusliuPublished in: AAAI (2021)
Keyphrases
- constraint logic programming
- real world
- constraint solving
- logic programming language
- constraint programming
- logic programming
- answer set programming
- scheduling problem
- constraint propagation
- data mining
- scheduling algorithm
- data sets
- temporal reasoning
- logic programs
- proof theoretic
- reinforcement learning
- database
- programming paradigms