Incorporating background knowledge and structured explananda in abductive reasoning: a framework | IEEE Journals & Magazine | IEEE Xplore