Using compiled knowledge to guide and focus abductive diagnosis | IEEE Journals & Magazine | IEEE Xplore