LIPIcs, Volume 278, TIME 2023

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