Abstract | ||
---|---|---|
The emerging research field of stream reasoning faces the challenging trade-off between expressiveness of query programs and data throughput. For optimizing programs methods are needed to tell whether two programs are equivalent. Towards providing practical reasoning techniques on streams, we consider LARS programs, which is a powerful extension of Answer Set Programming (ASP) for stream reasoning that supports windows on streams for discarding information. We define different notions of equivalence between such programs and give semantic characterizations in terms of models. We show how a practically relevant fragment can be alternatively captured using Here-and-There models, yielding an extension of equilibrium semantics of ASP to this class of programs. Finally, we characterize the computational complexity of deciding the considered equivalence relations. |
Year | Venue | Field |
---|---|---|
2016 | IJCAI | Programming language,Computer science,Theoretical computer science,Equivalence (measure theory),Artificial intelligence,Throughput,Answer set programming,Equivalence relation,Practical reason,Stream reasoning,Semantics,Machine learning,Computational complexity theory |
DocType | Citations | PageRank |
Conference | 3 | 0.38 |
References | Authors | |
19 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Harald Beck | 1 | 49 | 5.61 |
Minh Dao-Tran | 2 | 395 | 20.39 |
Thomas Eiter | 3 | 7238 | 532.10 |