LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract).

Harald Beck, Minh Dao-Tran, Thomas Eiter

Browse the full SOFSEM paper archive.