Ticker: A System for Incremental ASP-based Stream Reasoning

Harald Beck, Thomas Eiter, Christian Folie

In complex reasoning tasks, as expressible by Answer Set Programming (ASP), problems often permit for multiple solutions. In dynamic environments, where knowledge is continuously c…