The logic of demand in Haskell.
William L. HarrisonRichard B. KieburtzPublished in: J. Funct. Program. (2005)
Keyphrases
- programming language
- multi valued
- logic programming
- functional programming
- classical logic
- inventory control
- modal logic
- lead time
- automated reasoning
- sound and complete axiomatization
- database
- proof theory
- inventory management
- digital circuits
- set theory
- defeasible logic
- knowledge representation
- case study
- neural network
- data sets