Plan Recognition as Probabilistic Trace Alignment | IEEE Conference Publication | IEEE Xplore