Pattern Mining as Abduction: From Snapshots to Spatio-Temporal Sequential Patterns | IEEE Conference Publication | IEEE Xplore