Incremental maintenance of overgrounded logic programs with tailored simplifications

6 August 2020

Papers citing "Incremental maintenance of overgrounded logic programs with tailored simplifications"

4 / 4 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 11 0 0 26 Aug 2022
I-DLV-sr: A Stream Reasoning System based on I-DLV Francesco Calimeri M. Manna Elena Mastria Maria Concetta Morelli S. Perri J. Zangari LRM 11 9 0 05 Aug 2021
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing Claire Lefèvre Christopher Béatrix I. Stéphan Laurent Garcia LRM 42 57 0 26 Mar 2015