Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation. - de Leng, Daniel. (Linköping Studies in Science and Technology. Thesis Series, 2017)