TIME

Keyphrases

Publications

2023

Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. TIME (2023)
Periklis Mantenoglou
An Event Calculus for Run-Time Reasoning (Extended Abstract). TIME (2023)
Nikos Giatrakos
SSTRESED: Scalable Semantic Trajectory Extraction for Simple Event Detection over Streaming Movement Data (Extended Abstract). TIME (2023)
Florian Bruse, Marit Kastaun, Martin Lange, Sören Möller
The Calculus of Temporal Influence. TIME (2023)
Alessandro Bregoli, Karin Rathsman, Marco Scutari, Fabio Stella, Søren Wengel Mogensen
Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian Networks. TIME (2023)
Laura Nenzi
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). TIME (2023)
Yakoub Salhi, Michael Sioutis
Prime Scenarios in Qualitative Spatial and Temporal Reasoning. TIME (2023)
Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala
Discovering Predictive Dependencies on Multi-Temporal Relations. TIME (2023)
Nikos Katzouris, Georgios Paliouras
Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract). TIME (2023)
Front Matter, Table of Contents, Preface, Conference Organization. TIME (2023)
Alexis Baudin, Lionel Tabourier, Clémence Magnien
LSCPM: Communities in Massive Real-World Link Streams by Clique Percolation Method. TIME (2023)
Luke Hunsberger, Roberto Posenato
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract). TIME (2023)
Michael Sioutis
Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks. TIME (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME (2023)
Hsi-Ming Ho, Khushraj Madnani
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. TIME (2023)
Yakoub Salhi, Michael Sioutis
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). TIME (2023)
Marco Sälzer, Silvia Beddar-Wiesing
Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract). TIME (2023)
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari
Qualitative past Timeline-Based Games (Extended Abstract). TIME (2023)
Petro-Foti Kamberi, Evgenios Kladis, Charilaos Akasiadis
A Benchmark for Early Time-Series Classification (Extended Abstract). TIME (2023)
Luca Geatti, Alessandro Gianola, Nicola Gigante
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). TIME (2023)
Curtis E. Dyreson
Optimization of Nonsequenced Queries Using Log-Segmented Timestamps. TIME (2023)
Saumya Shankar, Srinivas Pinisetty, Thierry Jéron
Bounded-Memory Runtime Enforcement of Timed Properties. TIME (2023)
Anshuman Misra, Ajay D. Kshemkalyani
Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case. TIME (2023)

volume 278, 2023

30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece TIME 278 (2023)

2022

volume 247, 2022

29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference. TIME 247 (2022)

2021

volume 206, 2021

28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. TIME 206 (2021)