Spatio-temporal reasoning and decision support for smart energy systems | IEEE Conference Publication | IEEE Xplore