Open AccessLARS: A Logic-Based Framework for Analyzing Reasoning over Streams
Author(s) -
Harald Beck,
Minh Dao-Tran,
Thomas Eiter,
Michael Fink
Publication year - 2015
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9408
Subject(s) - computer science , formalism (music) , reasoning system , description logic , semantics (computer science) , stream processing , complex event processing , query language , programming language , artificial intelligence , data mining , process (computing) , visual arts , art , musical , distributed computing