Logics of Becoming in Scheduling - Logical Movement behind Temporality.
Junichi YagiEiji AraiKeiichi ShirasePublished in: DIISM (2002)
Keyphrases
- scheduling problem
- expressive power
- scheduling algorithm
- inconsistent knowledge
- modal logic
- parallel machines
- round robin
- dynamic scheduling
- resource allocation
- conditional logic
- truth values
- classical logic
- database
- flexible manufacturing systems
- scheduling strategy
- logical operations
- propositional dynamic logic
- resource constraints
- resource utilization
- body movements
- logical reasoning
- information systems