Defining posterior hypotheses in C2 systems | IEEE Conference Publication | IEEE Xplore