Ticker: A system for incremental ASP-based stream reasoning

DOI10.1017/S1471068417000370zbMath1422.68218arXiv1707.05304MaRDI QIDQ4592708

Thomas Eiter, Christian Folie, Harald Beck

Publication date: 8 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.05304

zbMATH Keywords

nonmonotonic reasoninganswer set programmingstream reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (8)

The delay and window size problems in rule-based stream reasoning ⋮ LARS: a logic-based framework for analytic reasoning over streams ⋮ Incremental Answer Set Programming with Overgrounding ⋮ A Distributed Approach to LARS Stream Reasoning (System paper) ⋮ Unnamed Item ⋮ Managing caching strategies for stream reasoning with reinforcement learning ⋮ Incremental maintenance of overgrounded logic programs with tailored simplifications ⋮ Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}

Cites Work

• A rational reconstruction of nonmonotonic truth maintenance systems
• Anytime Computation of Cautious Consequences in Answer Set Programming
• Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving

This page was built for publication: Ticker: A system for incremental ASP-based stream reasoning