I-DLV-sr: A Stream Reasoning System based on I-DLV

5 August 2021

Papers citing "I-DLV-sr: A Stream Reasoning System based on I-DLV"

2 / 2 papers shown

Title
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding Francesco Calimeri Giovambattista Ianni Francesco Pacenza S. Perri J. Zangari LRM ReLM 41 6 0 22 Dec 2024
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version) Nicola Leone M. Manna Maria Concetta Morelli S. Perri 16 0 0 26 Aug 2022