Representing Production Scheduling with Constraint Answer Set Programming.
Gerhard FriedrichMelanie FrühstückVera MersheevaAnna RyabokonMaria SanderAndreas StarzacherErich TeppanPublished in: OR (2014)
Keyphrases
- knowledge base
- answer set programming
- production scheduling
- logic programming
- knowledge representation
- answer sets
- logic programs
- constraint logic programming
- job shop scheduling problem
- causal theories
- single machine
- stable model semantics
- stable models
- vehicle routing
- knowledge acquisition
- manufacturing systems
- process planning
- answer set programs
- constraint solving
- constraint networks
- linear programming
- database