Dynamics, Uncertainty and Reasoning - Liao (Springer Singapore, 2019)