I-DLV-sr: A Stream Reasoning System based on I-DLV.
Saved in:
| Title: | I-DLV-sr: A Stream Reasoning System based on I-DLV. |
|---|---|
| Authors: | CALIMERI, FRANCESCO1 (AUTHOR) francesco.calimeri@unical.it, MANNA, MARCO1 (AUTHOR), MASTRIA, ELENA1 (AUTHOR), MORELLI, MARIA CONCETTA1 (AUTHOR), PERRI, SIMONA1 (AUTHOR), ZANGARI, JESSICA1 (AUTHOR) |
| Source: | Theory & Practice of Logic Programming. Sep2021, Vol. 21 Issue 5, p610-628. 19p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S147106842100034X |