Ticker: A system for incremental ASP-based stream reasoning.
Saved in:
| Title: | Ticker: A system for incremental ASP-based stream reasoning. |
|---|---|
| Authors: | BECK, HARALD1 beck@kr.tuwien.ac.at, EITER, THOMAS1 eiter@kr.tuwien.ac.at, FOLIE, CHRISTIAN1 christian.folie@outlook.com |
| Source: | Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p744-763. 20p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
