Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM.
Thomas EiterTobias GeibingerNysret MusliuJohannes OetschPeter SkocovskýDaria StepanovaPublished in: Theory Pract. Log. Program. (2024)
Keyphrases
- answer set programming
- processing times
- scheduling problem
- setup times
- logic programs
- logic programming
- answer sets
- flowshop
- constraint logic programming
- morphological operators
- answer set programs
- single machine
- causal theories
- lower bound
- reasoning tasks
- stable model semantics
- haplotype inference
- np hard
- genetic algorithm
- stable models
- knowledge representation
- software engineering
- natural language
- belief base
- optimal solution
- artificial intelligence
- disjunctive logic programming