A unified model for abduction-based reasoning | IEEE Journals & Magazine | IEEE Xplore