Knowledge compilation and refinement for fault diagnosis | IEEE Journals & Magazine | IEEE Xplore