A Neural-Symbolic Network for Interpretable Fault Diagnosis of Rolling Element Bearings Based on Temporal Logic | IEEE Journals & Magazine | IEEE Xplore