Root Cause Analysis through Abduction in Markov Logic Networks | IEEE Conference Publication | IEEE Xplore