| 2025 | Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk). | Michael Zakharyaschev |
| 2025 | A Translation of Probabilistic Event Calculus into Markov Decision Processes (Short Paper). | Lyris Xu, Fabio Aurelio D'Asaro, Luke Dickens |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 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 Association Rules from Motifs (Short Paper). | Mauro Milella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan |
| 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 | Prompting LLMs for the Run-Time Event Calculus (Short Paper). | Andreas Kouvaras, Periklis Mantenoglou, Alexander Artikis |
| 2025 | Visit Probability in Space-Time Prisms for Moving Object Data (Short Paper). | Arthur Jansen, Bart Kuijpers |
| 2025 | Solutions to the Generalised Alibi Query in Moving Object Databases (Short Paper). | Arthur Jansen, Bart Kuijpers |
| 2025 | On the Complexity of the Realisability Problem for Visit Events in Trajectory Sample Databases. | Arthur Jansen, Bart Kuijpers |
| 2025 | A Better Algorithm for Converting an STNU into Minimal Dispatchable Form. | Luke Hunsberger, Roberto Posenato |
| 2025 | An Introduction to First-Order Linear Temporal Logic (Invited Talk). | Nicola Gigante |
| 2025 | PDDL to DFA: A Symbolic Transformation for Effective Reasoning. | Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti |
| 2025 | Safety and Liveness on Finite Words. | Luca Geatti, Stefano Pessotto, Stefano Tonetta |
| 2025 | Temporal GraphQL: A Tree Grammar Approach. | Curtis E. Dyreson, Bishal Sarkar |
| 2025 | Heuristics for Covering the Timeline in Temporal Graphs. | Riccardo Dondi, Rares-Ioan Mateiu, Alexandru Popa |
| 2025 | GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning. | Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot |
| 2025 | Higher-Order Timed Automata and Tail Recursion. | Florian Bruse |
| 2025 | QualiNet: Acquiring Bird's Eye View Qualitative Spatial Representation from 2D Images in Automated Vehicle Perception (Short Paper). | Nassim Belmecheri |
| 2025 | The Temporal Vadalog System (Short Paper). | Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger |
| 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 | Metric Linear-Time Temporal Logic with Strict First-Time Semantics. | Eric Alsmann, Martin Lange |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2024 | Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk). | Przemyslaw Andrzej Walega |
| 2024 | Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning. | Ajdin Sumic, Thierry Vidal, Andrea Micheli, Alessandro Cimatti |