Muhammad Intizar Ali

Towards Scalable Non-Monotonic Stream Reasoning via Input Dependency Analysis

2017

Stream reasoning is an emerging research area focused on providing continuous reasoning solutions for data streams. The high expressiveness of non-monotonic reasoning enables complex decision making by managing defaults, commonsense, preferences, recursion, and non-determinism, but …