Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
Thomas EiterTobias GeibingerNysret MusliuJohannes OetschPeter SkocovskýDaria StepanovaPublished in: Theory Pract. Log. Program. (2023)
Keyphrases
- answer set programming
- processing times
- scheduling problem
- setup times
- logic programming
- answer sets
- flowshop
- logic programs
- constraint logic programming
- reasoning tasks
- morphological operators
- single machine
- causal theories
- answer set programs
- stable model semantics
- np hard
- stable models
- haplotype inference
- update semantics
- strong equivalence
- qualitative spatial and temporal reasoning
- single machine scheduling problem
- lower bound
- optimal solution
- machine learning
- modulo theories
- deductive databases
- general purpose
- object oriented
- knowledge representation
- special case
- knowledge base