Automated Reasoning for Supplier Performance Appraisal in Supply Chains.
Juan M. SepúlvedaIván DerpichPublished in: ITQM (2014)
Keyphrases
- automated reasoning
- supply chain
- supplier selection
- supply chain management
- theorem proving
- knowledge representation
- quantity discount
- probabilistic reasoning
- theorem prover
- lead time
- bullwhip effect
- uncertain demand
- inventory management
- safety stock
- decision making
- inventory control
- revenue sharing
- stackelberg game
- service level
- dual sourcing
- logistics service
- discrete event simulation
- inventory policy
- planning horizon