Slice Normalized Dynamic Markov Logic Networks