A Distributed Approach to LARS Stream Reasoning (System paper)

DOI10.1017/S1471068419000309zbMath1434.68546arXiv1907.12344OpenAlexW3098371272MaRDI QIDQ5108515

Thomas Eiter, Konstantin Schekotihin, Paul Ogris

Publication date: 4 May 2020

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

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

zbMATH Keywords

distributed systemsanswer set programmingstream reasoning

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Distributed systems (68M14)

Related Items (2)

Managing caching strategies for stream reasoning with reinforcement learning ⋮ Incremental maintenance of overgrounded logic programs with tailored simplifications

Uses Software

• Clingo
• LARS

Cites Work

• Unnamed Item
• Maintaining knowledge about temporal intervals
• LARS: a logic-based framework for analytic reasoning over streams
• Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
• The benefits of relaxing punctuality
• Ticker: A system for incremental ASP-based stream reasoning
• Multi-shot ASP solving with clingo
• Complexity of n-Queens Completion
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: A Distributed Approach to LARS Stream Reasoning (System paper)