English
Related papers

Related papers: Stream Reasoning in Temporal Datalog

200 papers

A central problem in data streams is to characterize which functions of an underlying frequency vector can be approximated efficiently. Recently there has been considerable effort in extending this problem to that of estimating functions of…

Data Structures and Algorithms · Computer Science 2018-10-25 Vladimir Braverman , Stephen R. Chestnut , Robert Krauthgamer , Yi Li , David P. Woodruff , Lin F. Yang

An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Things (IoT). Often, this extraction requires expressive…

Logic in Computer Science · Computer Science 2017-07-31 Hamid R. Bazoobandi , Harald Beck , Jacopo Urbani

Stream processing and reasoning is getting considerable attention in various application domains such as IoT, Industry IoT and Smart Cities. In parallel, reasoning and knowledge-based features have attracted research into many areas of…

Robotics · Computer Science 2022-01-31 Manh Nguyen-Duc , Anh Le-Tuan , Manfred Hauswirth , David Bowden , Danh Le-Phuoc

Real-time understanding of continuous video streams is essential for interactive assistants and multimodal agents operating in dynamic environments. However, most existing video reasoning approaches follow a batch paradigm that defers…

Computer Vision and Pattern Recognition · Computer Science 2026-03-16 Zikang Liu , Longteng Guo , Handong Li , Ru Zhen , Xingjian He , Ruyi Ji , Xiaoming Ren , Yanhao Zhang , Haonan Lu , Jing Liu

Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have been proposed in recent years, such as event processing,…

Databases · Computer Science 2007-05-23 Roger S. Barga , Jonathan Goldstein , Mohamed Ali , Mingsheng Hong

There is a growing cross-disciplinary effort in the broad domain of optimization and learning with streams of data, applied to settings where traditional batch optimization techniques cannot produce solutions at time scales that match the…

Optimization and Control · Mathematics 2021-11-29 Emiliano Dall'Anese , Andrea Simonetto , Stephen Becker , Liam Madden

Stream processing has been an active research field for more than 20 years, but it is now witnessing its prime time due to recent successful efforts by the research community and numerous worldwide open-source communities. This survey…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-18 Marios Fragkoulis , Paris Carbone , Vasiliki Kalavri , Asterios Katsifodimos

The problem of adaptive learning from evolving and possibly non-stationary data streams has attracted a lot of interest in machine learning in the recent past, and also stimulated research in related fields, such as computational…

Machine Learning · Computer Science 2019-11-12 Ammar Shaker , Eyke Hüllermeier

Besides the classical offline setup of machine learning, stream learning constitutes a well-established setup where data arrives over time in potentially non-stationary environments. Concept drift, the phenomenon that the underlying…

Machine Learning · Computer Science 2024-12-13 Fabian Hinder , Valerie Vaquet , David Komnick , Barbara Hammer

In recent years, stream processing has become a prominent approach for incrementally handling large amounts of data, with special support and libraries in many programming languages. Unfortunately, support in Prolog has so far been lacking…

Programming Languages · Computer Science 2019-09-20 Paul Tarau , Jan Wielemaker , Tom Schrijvers

DatalogMTL is an extension of Datalog with metric temporal operators that has found applications in temporal ontology-based data access and query answering, as well as in stream reasoning. Practical algorithms for DatalogMTL are reliant on…

Databases · Computer Science 2022-09-28 Dingmin Wang , Przemysław Andrzej Wałęga , Bernardo Cuenca Grau

A text stream is an ordered sequence of text documents generated over time. A massive amount of such text data is generated by online social platforms every day. Designing an algorithm for such text streams to extract useful information is…

Information Retrieval · Computer Science 2024-09-04 Jay Kumar

Learning how to predict future events from patterns of past events is difficult when the set of possible event types is large. Training an unrestricted neural model might overfit to spurious patterns. To exploit domain-specific knowledge of…

Machine Learning · Computer Science 2020-08-18 Hongyuan Mei , Guanghui Qin , Minjie Xu , Jason Eisner

Time series reasoning treats time as a first-class axis and incorporates intermediate evidence directly into the answer. This survey defines the problem and organizes the literature by reasoning topology with three families: direct…

Artificial Intelligence · Computer Science 2025-11-04 Ching Chang , Yidan Shi , Defu Cao , Wei Yang , Jeehyun Hwang , Haixin Wang , Jiacheng Pang , Wei Wang , Yan Liu , Wen-Chih Peng , Tien-Fu Chen

The shift toward IoT-enabled, sensor-driven systems has transformed how operational data is generated, favoring continuous, real-time event streams (ES) over static event logs. This evolution presents new challenges for Streaming Process…

We propose a simple calculus for processing data streams (infinite flows of data series), represented by finite sets of equations built on stream operators. Furthermore, functions defining streams are regularly corecursive, that is, cyclic…

Programming Languages · Computer Science 2021-08-03 Davide Ancona , Pietro Barbieri , Elena Zucca

The area of online machine learning in big data streams covers algorithms that are (1) distributed and (2) work from data streams with only a limited possibility to store past data. The first requirement mostly concerns software…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-19 András A. Benczúr , Levente Kocsis , Róbert Pálovics

Streaming systems are present throughout modern applications, processing continuous data in real-time. Existing streaming languages have a variety of semantic models and guarantees that are often incompatible. Yet all these languages are…

Programming Languages · Computer Science 2024-11-14 Shadaj Laddad , Alvin Cheung , Joseph M. Hellerstein , Mae Milano

Due to recent advances in data collection techniques, massive amounts of data are being collected at an extremely fast pace. Also, these data are potentially unbounded. Boundless streams of data collected from sensors, equipments, and other…

Databases · Computer Science 2012-03-12 T Soni Madhulatha

Temporal reasoning is a crucial NLP task, providing a nuanced understanding of time-sensitive contexts within textual data. Although recent advancements in LLMs have demonstrated their potential in temporal reasoning, the predominant focus…

Computation and Language · Computer Science 2023-10-10 Chenhan Yuan , Qianqian Xie , Jimin Huang , Sophia Ananiadou