You are here

Towards Scalable Non-monotonic Stream Reasoning via Input Dependency Analysis