Ticker: A system for incremental ASP-based stream reasoning. - BECK, HARALD; EITER, THOMAS; FOLIE, CHRISTIAN (Theory & Practice of Logic Programming, 2017)