Incremental maintenance of overgrounded logic programs with tailored simplifications
From MaRDI portal
Publication:5140010
DOI10.1017/S147106842000040XzbMath1468.68223arXiv2008.04108OpenAlexW3088666520MaRDI QIDQ5140010
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Publication date: 13 December 2020
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2008.04108
knowledge representationgroundinganswer-set programmingstream reasoningovergroundinginstantiation of logic programs
Uses Software
Cites Work
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- LARS: a logic-based framework for analytic reasoning over streams
- Conflict-driven answer set solving: from theory to practice
- Maintenance of datalog materialisations revisited
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
- The Intelligent Grounder of DLV
- GASP: Answer Set Programming with Lazy Grounding
- Advances in WASP
- Relativized hyperequivalence of logic programs for modular programming
- Ticker: A system for incremental ASP-based stream reasoning
- ASPeRiX, a first-order forward chaining approach for answer set computing
- Optimizing Answer Set Computation via Heuristic-Based Decomposition
- Incremental Answer Set Programming with Overgrounding
- A Distributed Approach to LARS Stream Reasoning (System paper)
- Multi-shot ASP solving with clingo
- Logics in Artificial Intelligence
- Computable Functions in ASP: Theory and Implementation
This page was built for publication: Incremental maintenance of overgrounded logic programs with tailored simplifications