Situation assessment: procedural vs. logical | IEEE Conference Publication | IEEE Xplore