(1)
Beck, H.; Dao-Tran, M.; Eiter, T.; Fink, M. LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. AAAI 2015, 29.