Incremental maintenance of overgrounded logic programs with tailored simplifications

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

zbMATH Keywords

knowledge representationgroundinganswer-set programmingstream reasoningovergroundinginstantiation of logic programs

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Uses Software

• GASP
• WASP
• Clingo
• LARS

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