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