Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving.
Waqar AhmadOsman HasanSofiène TaharPublished in: IWIL@LPAR (2015)
Keyphrases
- theorem proving
- supply chain
- reliability analysis
- logistics service
- service level
- supply chain management
- first order logic
- inference rules
- bullwhip effect
- lead time
- theorem prover
- inventory management
- decision making
- proof planning
- parallel search
- consequence finding
- geometry theorem proving
- condition monitoring
- power plant
- total cost
- electronic commerce
- machine learning