1. Preface

   • Daniel E. O'Leary

   EditorialNotes Pages: XI - XII

2. Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs

   • K. A. Andersen
   • J. N. Hooker

   OriginalPaper Pages: 1 - 20

3. A machine learning approach to process improvement in a telecommunications company

   • Tony Cox
   • George Bell

   OriginalPaper Pages: 21 - 34

4. Manufacturing cell formation by state-space search

   • Subrata Ghosh
   • Ambuj Mahanti
   • Dana S. Nau

   OriginalPaper Pages: 35 - 54

5. A bibliography for the development of an Intelligent Mathematical Programming System

   • Harvey J. Greenberg

   OriginalPaper Pages: 55 - 90

6. The ANALYZE rulebase for supporting LP analysis

   • Harvey J. Greenberg

   OriginalPaper Pages: 91 - 126

7. Activity graphs: A language for flexible consultation systems

   • Samuel Holtzman
   • Peter J. Regan

   OriginalPaper Pages: 127 - 155

8. UNIK-PMA: A unifier of optimization model with rule-based systems by the post-model analysis

   • Jae Kyu Lee
   • Yong Uk Song

   OriginalPaper Pages: 157 - 179

9. The use of mathematical programming to verify rule-based knowledge

   • Daniel E. O'Leary
   • Joanne Schaffer

   OriginalPaper Pages: 181 - 193

10. A contracting model for flexible distributed scheduling

    • Sandip Sen
    • Edmund H. Durfee

    OriginalPaper Pages: 195 - 222