Artificial Intelligence in Manufacturing Planning and Control

References

• Bobrow , D. G. and Raphael , B. , “ New Programming Languages for AI Research ,” Computing Surveys , 6 , 3 , 153 174 ( September 1974 ).
   Google Scholar
• Bonczek , R. , Holsapple , C. and Whinston , A. , “ The Integration of Network Data Base Management and Problem Resolution ,” Information Systems , 4 2 , 143 154 ( 1979 ).
   Web of Science ®Google Scholar
• Bruce , B. C. , “ A Model for Temporal References and Its Application in a Question-Answering Program ,” Artificial Intelligence 3 , 1 25 ( 1972 ).
   Web of Science ®Google Scholar
• Chang , C. L. , “ DEDUCE 2: Further Investigations of Deduction in Relational Data Bases ,” IBM Research Report RJ2147(29410) ( May 1978 ) .
   Google Scholar
• Chang , C. Lee , R. C. , Symbolic Logic and Mechanical Theorem Proving , Academic Press , New York ( 1973 ) .
   Google Scholar
• Codd , E. F. , “ A Relational Model for Large Shared Data Banks ,” Comm. of the ACM , 13 , 6 , 377 – 387 ( June 1970 ).
   Web of Science ®Google Scholar
• Fikes , R. E. , Hart , P. E. and Nilsson , N. J. , “ Some New Directions in Robot Problem Solving ,” Machine Intelligence. 7 , ( Eds. Meltzer , B. and Michie , D. ), Halstead Press , New York , 405–430 ( 1972 ) .
   Google Scholar
• Fikes , R. E. and Nilsson , N. J. , “ STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving ,” Artificial Intelligence , 2 , 189 208 ( 1971 ).
   Web of Science ®Google Scholar
• Green , C. , “ Theorem-Proving by Resolution as a Basis for Question-Answering Systems ,” Machine Intelligence, 4 ( Eds. Meltzer , B. and Michie , D. ), American Elsevier , New York , 183–205 ( 1969 ) .
   Google Scholar
• Green , C. C. , Raphael , B. , “ The Use of Theorem-Proving Techniques in Question-Answering Systems ,” Proc. ACM 23rd National Computer Conference , 169 181 ( 1968 ).
   Google Scholar
• Haseman , W. D. and Whinston , A. B. , Introduction to Data Management , Irwin , Homewood , Illinois ( 1977 ) .
   Google Scholar
• Hewitt , C. , “ Procedural Imbedding of Knowledge in PLANNER ,” Proc. Int'l. Joint Conf. on Artificial Intelligence , 2, London, 167 182 ( September 1971 ).
   Google Scholar
• Kowalski , R. , “ Predicate Logic as Programming Language ,” Proc. IFIP , 74 , 569 – 574 ( 1974 ).
   Google Scholar
• Kowalski , R. and Kuehner , D. , “ Linear Resolution with Selection Function ,” Artificial Intelligence , 2 , 227 260 ( 1971 ).
   Google Scholar
• Minker , J. , “ Set Operations and Inferences Over Relational Data Bases ,” Technical Rep. TR-427, University of Maryland , December 1975 ) , (invited paper for the Fourth Texas Conference on Computing Systems).
   Google Scholar
• Minker , J. , “ Search Strategy and Selection Function for an Inferential Relational System ,” ACM Transactions on Database Systems , 3 , 1 , 1 – 31 ( March 1978 ).
   Google Scholar
• Nilsson , N. J. , Problem-Solving Methods in Artificial Intelligence , McGraw-Hill , New York ( 1971 ) .
   Google Scholar
• Not , S. Y. , Barash , N. M. and Herald , M. J. , “ Analysis of Operating Rules in a Computerized Manufacturing System ,” ASME Paper 78-WA/Prod-38, ( December 1978 ) .
   Google Scholar
• Nof , S. Y. , Whinston , A. B. and Bullers , W. I. , “ Operations Management Tools for Automatic Manufacturing Systems ,” 20th Annual Canadian Operational Research (COR) Conf. , Vancouver, B.C., ( May 1978 ).
   Google Scholar
• Nof , S. Y. , Barash , M. M. and Solberg , J. J. , “ Operational Control of Item Flow in Versatile Manufacturing Systems ,” to appear shortly in the Int. J. of Prod. Res.
   Google Scholar
• Nof , S. Y. , Whinston , A. B. and Bullers , W. I. , “ Control and Decision Support in Automatic Manufacturing Systems ,” AIIE Transactions , 12 2 , 156 169 ( June 1980 ).
   Web of Science ®Google Scholar
• Phillips , D. T. , Heisterberg , R. J. , Backstone , J. and Sathaye , S. , “ System Analysis Techniques as Applied to Manufacturing Systems, An Annotated Bibliography ,” Report No. GEMS-1–77, Department of Industrial Engineering, Texas A&M University , September 15, 1977 .
   Google Scholar
• Reiter , R. , “ On Closed World Data Bases ,” Logic and Data Bases , ( Eds. Gallaire , H. and Minker , J. ), Plenum Press , New York , 55–76 ( 1978 ) .
   Google Scholar
• Robinson , J. A. , “ A Machine-Oriented Logic Based on the Resolution Principle ,” Journal of the ACM , 12 , 1 , 23 – 41 ( January 1965 ).
   Web of Science ®Google Scholar
• Saceidoti , E. D. , “ Planning in a Hierarchy of Abstraction Spaces ,” Artificial Intelligence , 5 , 115 135 ( 1974 ).
   Google Scholar
• Snodgrass , B. N. , Proceedings of Job-Shop Control Interest Group Meeting , CAM-I, Arlington, Texas, June 22–23 ( 1978 ).
   Google Scholar
• Talavage , J. J. and Barash , M. M. , “ Information and Control in Computerized Manufacturing Systems ,” Proc. Int'l Fed. of Automatic Control Conf. , Tokyo, Japan ( October 1977 ).
   Google Scholar
• Thierauf , R. M. , Systems Analysis and Design of Real-Time Management Information Systems , Prentice-Hall , Englewood Cliffs , New Jersey ( 1975 ) .
   Google Scholar
• van Emden , M. H. , “ Programming With Resolution Logic ,” Machine Intelligence, 8 , ( Eds. Elcock , E. W. and Michie , D. ), Halstead Press , New York , 266–299 ( 1977 ) .
   Google Scholar
• van Emden , M. H. and Kowalski , R. , “ The Semantics of Predicate Logic as a Programming Language ,” Journal of the ACM , 23 , 4 , 733 – 742 ( October 1976 ).
   Web of Science ®Google Scholar
• Verzijl , J. J. , Production Planning and Information Systems , Wiley , New York ( 1976 ) .
   Google Scholar