Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
Thomas EiterTobias GeibingerNysret MusliuJohannes OetschPeter SkocovskýDaria StepanovaPublished in: KR (2021)
Keyphrases
- answer set programming
- processing times
- setup times
- scheduling problem
- logic programs
- logic programming
- answer sets
- flowshop
- single machine
- constraint logic programming
- morphological operators
- reasoning tasks
- causal theories
- knowledge representation
- answer set programs
- stable model semantics
- lower bound
- stable models
- genetic algorithm
- disjunctive logic programming
- qualitative spatial and temporal reasoning
- haplotype inference
- np hard
- optimal solution