LARS: A Logic-Based Framework for Analyzing Reasoning over Streams.

Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink

Browse the full AAAI paper archive.