| 2025 | 32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, Queen Mary University of London, UK, August 27-29, 2025 Thierry Vidal, Przemyslaw Andrzej Walega |
| 2025 | A Better Algorithm for Converting an STNU into Minimal Dispatchable Form. Luke Hunsberger, Roberto Posenato |
| 2025 | A Translation of Probabilistic Event Calculus into Markov Decision Processes (Short Paper). Lyris Xu, Fabio Aurelio D'Asaro, Luke Dickens |
| 2025 | An Introduction to First-Order Linear Temporal Logic (Invited Talk). Nicola Gigante |
| 2025 | Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic. Pietro Bellodi, Pietro Casavecchia, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2025 | GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning. Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot |
| 2025 | Heuristics for Covering the Timeline in Temporal Graphs. Riccardo Dondi, Rares-Ioan Mateiu, Alexandru Popa |
| 2025 | Higher-Order Timed Automata and Tail Recursion. Florian Bruse |
| 2025 | Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk). Michael Zakharyaschev |
| 2025 | Metric Linear-Time Temporal Logic with Strict First-Time Semantics. Eric Alsmann, Martin Lange |
| 2025 | On the Complexity of the Realisability Problem for Visit Events in Trajectory Sample Databases. Arthur Jansen, Bart Kuijpers |
| 2025 | PDDL to DFA: A Symbolic Transformation for Effective Reasoning. Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti |
| 2025 | Prompting LLMs for the Run-Time Event Calculus (Short Paper). Andreas Kouvaras, Periklis Mantenoglou, Alexander Artikis |
| 2025 | QualiNet: Acquiring Bird's Eye View Qualitative Spatial Representation from 2D Images in Automated Vehicle Perception (Short Paper). Nassim Belmecheri |
| 2025 | Safety and Liveness on Finite Words. Luca Geatti, Stefano Pessotto, Stefano Tonetta |
| 2025 | Solutions to the Generalised Alibi Query in Moving Object Databases (Short Paper). Arthur Jansen, Bart Kuijpers |
| 2025 | Temporal Association Rules from Motifs (Short Paper). Mauro Milella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan |
| 2025 | Temporal Considerations in DJ Mix Information Retrieval and Generation (Short Paper). Alexander J. Williams, Gregor Meehan, Stefan Lattner, Johan Pauwels, Mathieu Barthet |
| 2025 | Temporal Ensemble Logic for Integrative Representation of the Entirety of Clinical Trials. Xiaojin Li, Yan Huang, Rashmie Abeysinghe, Zenan Sun, Hongyu Chen, Pengze Li, Xing He, Shiqiang Tao, Cui Tao, Jiang Bian, Licong Cui, Guo-Qiang Zhang |
| 2025 | Temporal GraphQL: A Tree Grammar Approach. Curtis E. Dyreson, Bishal Sarkar |
| 2025 | The Temporal Vadalog System (Short Paper). Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger |
| 2025 | Visit Probability in Space-Time Prisms for Moving Object Data (Short Paper). Arthur Jansen, Bart Kuijpers |