Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs K. A. AndersenJ. N. Hooker OriginalPaper Pages: 1 - 20
A machine learning approach to process improvement in a telecommunications company Tony CoxGeorge Bell OriginalPaper Pages: 21 - 34
Manufacturing cell formation by state-space search Subrata GhoshAmbuj MahantiDana S. Nau OriginalPaper Pages: 35 - 54
A bibliography for the development of an Intelligent Mathematical Programming System Harvey J. Greenberg OriginalPaper Pages: 55 - 90
Activity graphs: A language for flexible consultation systems Samuel HoltzmanPeter J. Regan OriginalPaper Pages: 127 - 155
UNIK-PMA: A unifier of optimization model with rule-based systems by the post-model analysis Jae Kyu LeeYong Uk Song OriginalPaper Pages: 157 - 179
The use of mathematical programming to verify rule-based knowledge Daniel E. O'LearyJoanne Schaffer OriginalPaper Pages: 181 - 193
A contracting model for flexible distributed scheduling Sandip SenEdmund H. Durfee OriginalPaper Pages: 195 - 222