Relationship between human and computational abduction | IEEE Conference Publication | IEEE Xplore