de Leng, Daniel

2 publications

AAAI 2019 Approximate Stream Reasoning with Metric Temporal Logic Under Uncertainty Daniel de Leng, Fredrik Heintz

AAAI 2016 Qualitative Spatio-Temporal Stream Reasoning with Unobservable Intertemporal Spatial Relations Using Landmarks Daniel de Leng, Fredrik Heintz