Abductive and approximate reasoning models for characterizing inference channels | IEEE Conference Publication | IEEE Xplore