An intelligent modeling and analysis method of manufacturing process using the first-order predicate logic

Zhenwei Wang, Pingan Du, Yating Yu. An intelligent modeling and analysis method of manufacturing process using the first-order predicate logic. Computers & Industrial Engineering, 56(4):1559-1565, 2009. [doi]

Abstract

Abstract is missing.