LARS: a logic-based framework for analytic reasoning over streams
type: Item
instance of: scholarly article
title: LARS: a logic-based framework for analytic reasoning over streams
zbMATH Open document ID: 1448.68395
author: Harald Beck
author: Minh Dao-Tran
author: Thomas Eiter
published in: Artificial Intelligence
publication date: 2018-06-27T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 6895038
zbMATH Keywords: answer set programming
zbMATH Keywords: stream reasoning
zbMATH Keywords: dynamic data
describes a project that uses: SPARQL
describes a project that uses: Apache Flink
describes a project that uses: DLVHEX
describes a project that uses: oClingo
describes a project that uses: Clingo
describes a project that uses: C-SPARQL
describes a project that uses: DLV2
describes a project that uses: Datalog
MaRDI profile type: Publication
full work available at URL: j.artint.2018.04.003
OpenAlex ID: W2806801598
cites work: Q4864249
cites work: Temporal equilibrium logic: a survey
cites work: Maintaining knowledge about temporal intervals
cites work: The benefits of relaxing punctuality
cites work: Real-time logics: Complexity and expressiveness
cites work: The ASP system DLV2
cites work: Knowledge Representation, Reasoning and Declarative Problem Solving
cites work: C-SPARQL: A CONTINUOUS QUERY LANGUAGE FOR RDF DATA STREAMS
cites work: Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
cites work: Ticker: A system for incremental ASP-based stream reasoning
cites work: Q5525343
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Temporal Equilibrium Logic: A First Approach
cites work: The complexity of propositional linear temporal logics in simple cases
cites work: Complexity results for answer set programming with bounded predicate arities and implications
cites work: On the computational cost of disjunctive logic programming: Propositional case
cites work: Logic Programming
cites work: A model building framework for answer set programming with external computations
cites work: Domain expansion for ASP-programs with external sources
cites work: Answer Set Programming: A Primer
cites work: Decision Problems of Finite Automata Design and Related Arithmetics
cites work: A rational reconstruction of nonmonotonic truth maintenance systems
cites work: First-order logic with two variables and unary temporal logic
cites work: Logics in Artificial Intelligence
cites work: Reactive Answer Set Programming
cites work: Engineering an Incremental ASP Solver
cites work: Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
cites work: Q3983043
cites work: Data Stream Management
cites work: The DLV system for knowledge representation and reasoning
cites work: Strongly equivalent logic programs
cites work: Q3395959
cites work: Equilibrium logic
cites work: Q5556395
cites work: Relationships between nondeterministic and deterministic tape complexities
cites work: The complexity of propositional linear temporal logics
cites work: A survey of stream processing
Wikidata QID: Q129761758
DOI: 10.1016/J.ARTINT.2018.04.003
description: scientific article; zbMATH DE number 6895038