Top-down abduction for behavior detection in GMTI data | IEEE Conference Publication | IEEE Xplore