Anytime reasoning with probabilistic inequalities | IEEE Conference Publication | IEEE Xplore