 ASP-based Multi-shot Reasoning via DLV2 with Incremental GroundingACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), 2022 |
 I-DLV-sr: A Stream Reasoning System based on I-DLVTheory and Practice of Logic Programming (TPLP), 2021 |
 Managing caching strategies for stream reasoning with reinforcement
learningTheory and Practice of Logic Programming (TPLP), 2020 |
 Incremental maintenance of overgrounded logic programs with tailored
simplificationsTheory and Practice of Logic Programming (TPLP), 2020 |
 A Distributed Approach to LARS Stream Reasoning (System paper)Theory and Practice of Logic Programming (TPLP), 2019 |