Mechanizing skeptical abduction and its applications to artificial intelligence | IEEE Conference Publication | IEEE Xplore