Distributed computation for neural-based abductive reasoning | IEEE Conference Publication | IEEE Xplore