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