# Answer Set Programming for Stream Reasoning

arXiv: https://arxiv.org/abs/1301.1392 · HTML: https://mlsanity.com/paper/1301.1392/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 8 Jan 2013.

## Built on by (most cited first, 2 of 2)

- [I-DLV-sr: A Stream Reasoning System based on I-DLV](https://mlsanity.com/paper/2108.02797/) (2021)
- [A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)](https://mlsanity.com/paper/2208.12726/) (2022)

## Abstract (arXiv)

The advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. Beyond rapid data processing, application areas like ambient assisted living, robotics, or dynamic scheduling involve complex reasoning tasks. We address such scenarios and elaborate upon approaches to knowledge-intense stream reasoning, based on Answer Set Programming (ASP). While traditional ASP methods are devised for singular problem solving, we develop new techniques to formulate and process problems dealing with emerging as well as expiring data in a seamless way.