LARS: a logic-based framework for analytic reasoning over streams
From MaRDI portal
Publication:1648076
DOI10.1016/j.artint.2018.04.003zbMath1448.68395OpenAlexW2806801598WikidataQ129761758 ScholiaQ129761758MaRDI QIDQ1648076
Minh Dao-Tran, Thomas Eiter, Harald Beck
Publication date: 27 June 2018
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2018.04.003
Related Items (20)
The delay and window size problems in rule-based stream reasoning ⋮ Combining event calculus and description logic reasoning via logic programming ⋮ Incremental Event Calculus for Run-Time Reasoning ⋮ Representation and processing of instantaneous and durative temporal phenomena ⋮ A Distributed Approach to LARS Stream Reasoning (System paper) ⋮ On combining ontologies and rules ⋮ Metric temporal answer set programming over timed traces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Managing caching strategies for stream reasoning with reinforcement learning ⋮ Incremental maintenance of overgrounded logic programs with tailored simplifications ⋮ Reactive Answer Set Programming ⋮ Fixed point semantics for stream reasoning ⋮ LARS ⋮ Tractable reasoning using logic programs with intensional concepts ⋮ Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt} ⋮ The Fusemate logic programming system ⋮ Multi-context systems in dynamic environments ⋮ Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Domain expansion for ASP-programs with external sources
- Real-time logics: Complexity and expressiveness
- Equilibrium logic
- A survey of stream processing
- The complexity of propositional linear temporal logics in simple cases
- On the computational cost of disjunctive logic programming: Propositional case
- The ASP system DLV2
- Complexity results for answer set programming with bounded predicate arities and implications
- First-order logic with two variables and unary temporal logic
- Relationships between nondeterministic and deterministic tape complexities
- A rational reconstruction of nonmonotonic truth maintenance systems
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
- Reactive Answer Set Programming
- Data Stream Management
- Weak Second‐Order Arithmetic and Finite Automata
- Temporal Equilibrium Logic: A First Approach
- Knowledge Representation, Reasoning and Declarative Problem Solving
- C-SPARQL: A CONTINUOUS QUERY LANGUAGE FOR RDF DATA STREAMS
- Answer Set Programming: A Primer
- The complexity of propositional linear temporal logics
- Decision Problems of Finite Automata Design and Related Arithmetics
- The benefits of relaxing punctuality
- Temporal equilibrium logic: a survey
- Ticker: A system for incremental ASP-based stream reasoning
- A model building framework for answer set programming with external computations
- Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
- Logic Programming
- The DLV system for knowledge representation and reasoning
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Engineering an Incremental ASP Solver
- Strongly equivalent logic programs
This page was built for publication: LARS: a logic-based framework for analytic reasoning over streams
