Managing caching strategies for stream reasoning with reinforcement learning

DOI10.1017/S147106842000037XzbMath1468.68152arXiv2008.03212OpenAlexW3088052656MaRDI QIDQ5140004

Konstantin Schekotihin, Thomas Eiter, Carmine Dodaro, Paul Ogris

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.03212

zbMATH Keywords

reinforcement learningASPstream reasoningcaching strategies

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Online algorithms; streaming algorithms (68W27)

Uses Software

• Glucose
• WASP
• Clingo
• XSB
• LARS

Cites Work

• Unnamed Item
• LARS: a logic-based framework for analytic reasoning over streams
• Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
• Efficient SAT Solving under Assumptions
• XSB: Extending Prolog with Tabled Logic Programming
• Optimization Methods for the Partner Units Problem
• Advances in WASP
• Asymptotically efficient allocation rules for the multiarmed bandit problem with multiple plays-Part I: I.I.D. rewards
• Ticker: A system for incremental ASP-based stream reasoning
• Incremental Answer Set Programming with Overgrounding
• A Distributed Approach to LARS Stream Reasoning (System paper)
• Multi-shot ASP solving with clingo
• Complexity of n-Queens Completion

This page was built for publication: Managing caching strategies for stream reasoning with reinforcement learning