Stream Reasoning with Answer Set Programming: Preliminary Report. - Gebser, Martin; Grote, Torsten; Kaminski, Roland; Obermeier, Philipp; Sabuncu, Orkunt; Schaub, Torsten (2012)