LARS: a logic-based framework for analytic reasoning over streams (extended abstract)

DOI10.1007/978-3-319-73117-9_6MaRDI QIDQ5127174zbMATH OpenOpenAlexFDO

Authors Harald Beck, Minh Dao-Tran, Thomas Eiter

Publication date 21 October 2020

Published in SOFSEM 2018: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-73117-9_6

zbMATH Keywords

answer set programmingdynamic datastream reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27)

Recommendations

• LARS: a logic-based framework for analytic reasoning over streams
• Fixed point semantics for stream reasoning
• Weighted Lars for quantitative stream reasoning
• A distributed approach to LARS stream reasoning (system paper)
• Incremental reasoning on monadic second-order logics with logic programming

Cited in

(6)

• LARS: a logic-based framework for analytic reasoning over streams
• Fixed point semantics for stream reasoning
• Prediction and explanation over DL-Lite data streams
• Weighted Lars for quantitative stream reasoning
• A distributed approach to LARS stream reasoning (system paper)
• Incremental reasoning on monadic second-order logics with logic programming

Describes a project that uses

Uses Software

• LARS

This page was built for publication: LARS: a logic-based framework for analytic reasoning over streams (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5127174)