Temporal Bayesian Networks
A temporal logic for reasoning about processes and plans