English
Related papers

Related papers: Generalized Lineage-Aware Temporal Windows: Suppor…

200 papers

This article introduces probabilistic disjunctive normal forms (PDNFs) as a framework for representing and reasoning about uncertainty in logical systems. Unlike classical DNFs, PDNFs assign real-valued weights to variables, encoding…

Logic in Computer Science · Computer Science 2026-03-13 Alexander Kuznetsov

Question Answering over Temporal Knowledge Graphs (TKGQA) has attracted growing interest for handling time-sensitive queries. However, existing methods still struggle with: 1) weak incorporation of temporal constraints in question…

Computation and Language · Computer Science 2026-02-24 Wuzhenghong Wen , Bowen Zhou , Jinwen Huang , Xianjie Wu , Yuwei Sun , Su Pan , Liang Li , Jianting Liu

The role of uncertainty in data management has become more prominent than ever before, especially because of the growing importance of machine learning-driven applications that produce large uncertain databases. A well-known approach to…

Databases · Computer Science 2023-04-13 Efthymia Tsamoura , Jaehun Lee , Jacopo Urbani

Standard probabilistic models face fundamental challenges such as data scarcity, a large hypothesis space, and poor data transparency. To address these challenges, we propose a novel probabilistic model of data-driven temporal propositional…

Artificial Intelligence · Computer Science 2025-07-08 Hiroyuki Kido

Learning involves relations, interactions and connections between learners, teachers and the world at large. Such interactions are essentially temporal and unfold in time. Yet, researchers have rarely combined the two aspects (the temporal…

Social and Information Networks · Computer Science 2023-07-25 Mohammed Saqr

Dynamic networks have intrinsic structural, computational, and multidisciplinary advantages. Link prediction estimates the next relationship in dynamic networks. However, in the current link prediction approaches, only bipartite or…

Social and Information Networks · Computer Science 2020-06-09 Mohamoud Ali , Yugyung Lee , Praveen Rao

Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) extend Linear Temporal Logic (LTL) for real-time constraints, with MTL using time-bounded modalities and TPTL employing freeze quantifiers. Satisfiability for both is…

Logic in Computer Science · Computer Science 2024-11-04 Shankara Narayanan Krishna , Khushraj Madnani , Agnipratim Nag , Paritosh Pandya

In this paper we introduce the horizon visibility graph, a simple extension to the popular horizontal visibility graph representation of a time series, and show that it possesses a rigorous mathematical foundation in computational algebraic…

Data Analysis, Statistics and Probability · Physics 2019-06-24 Colin Stephen

Existence of incomplete and imprecise data has moved the database paradigm from deterministic to proba- babilistic information. Probabilistic databases contain tuples that may or may not exist with some probability. As a result, the number…

Databases · Computer Science 2013-07-04 Andrei Todor , Alin Dobra , Tamer Kahveci , Christopher Dudley

Temporal point processes (TPP) are probabilistic generative models for continuous-time event sequences. Neural TPPs combine the fundamental ideas from point process literature with deep learning approaches, thus enabling construction of…

Machine Learning · Computer Science 2021-08-26 Oleksandr Shchur , Ali Caner Türkmen , Tim Januschowski , Stephan Günnemann

In the last decade, substantial progress has been made towards standardizing the syntax of graph query languages, and towards understanding their semantics and complexity of evaluation. In this paper, we consider temporal property graphs…

Databases · Computer Science 2022-03-11 Marcelo Arenas , Pedro Bahamondes , Amir Aghasadeghi , Julia Stoyanovich

State of the art research for date-time entity extraction from text is task agnostic. Consequently, while the methods proposed in literature perform well for generic date-time extraction from texts, they don't fare as well on task specific…

Computation and Language · Computer Science 2020-12-07 Barun Patra , Chala Fufa , Pamela Bhattacharya , Charles Lee

Dynamic link prediction is a critical task in the analysis of evolving networks, with applications ranging from recommender systems to economic exchanges. However, the concept of the temporal receptive field, which refers to the temporal…

Non-linear voter models assume that the opinion of an agent depends on the opinions of its neighbors in a non-linear manner. This allows for voting rules different from majority voting. While the linear voter model is known to reach…

Physics and Society · Physics 2016-04-27 Frank Schweitzer , Laxmidhar Behera

Single-round multiway join algorithms first reshuffle data over many servers and then evaluate the query at hand in a parallel and communication-free way. A key question is whether a given distribution policy for the reshuffle is adequate…

Databases · Computer Science 2015-12-22 Gaetano Geck , Bas Ketsman , Frank Neven , Thomas Schwentick

We introduce negation under the stable model semantics in DatalogMTL - a temporal extension of Datalog with metric temporal operators. As a result, we obtain a rule language which combines the power of answer set programming with the…

Logic in Computer Science · Computer Science 2023-06-14 Przemysław A. Wałęga , David J. Tena Cucala , Bernardo Cuenca Grau , Egor V. Kostylev

Diagnosis and prediction in some domains, like medical and industrial diagnosis, require a representation that combines uncertainty management and temporal reasoning. Based on the fact that in many cases there are few state changes in the…

Artificial Intelligence · Computer Science 2013-01-30 Gustavo Arroyo-Figueroa , Luis Enrique Sucar

Propositional Projection Temporal Logic (PPTL) is a useful formalism for reasoning about period of time in hardware and software systems and can handle both sequential and parallel compositions. In this paper, based on discrete time Markov…

Logic in Computer Science · Computer Science 2010-11-08 Xiaoxiao Yang

We present the Temporal Graph Benchmark (TGB), a collection of challenging and diverse benchmark datasets for realistic, reproducible, and robust evaluation of machine learning models on temporal graphs. TGB datasets are of large scale,…

The growing availability of high-resolution, long-term time series data has highlighted the need for methods capable of capturing both local and global patterns. To address this, we introduce the Probabilistic Visibility Graph (PVG), a…

Systems and Control · Electrical Eng. & Systems 2025-07-03 Roberto Sotero , Jose Sanchez-Bornot