(1)
de Leng, D.; Heintz, F. Approximate Stream Reasoning With Metric Temporal Logic under Uncertainty. AAAI 2019, 33, 2760-2767.