| 2024 | 31st International Symposium on Temporal Representation and Reasoning, TIME 2024, Montpellier, France, October 28-30, 2024 Pietro Sala, Michael Sioutis, Fusheng Wang |
| 2024 | A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty. Luke Hunsberger, Roberto Posenato |
| 2024 | A Framework for Assessing Inconsistency in Disjunctive Temporal Problems. Jean-François Condotta, Yakoub Salhi |
| 2024 | A General Logical Approach to Learning from Time Series (Invited Talk). Guido Sciavicco |
| 2024 | A More Efficient and Informed Algorithm to Check Weak Controllability of Simple Temporal Networks with Uncertainty. Aïdin Sumic, Thierry Vidal |
| 2024 | Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles. Johann Eder, Roberto Posenato, Carlo Combi, Marco Franceschetti, Franziska S. Hollauf |
| 2024 | Extending the Range of Temporal Specifications of the Run-Time Event Calculus. Periklis Mantenoglou, Alexander Artikis |
| 2024 | FastMinTC+: A Fast and Effective Heuristic for Minimum Timeline Cover on Temporal Networks. Giorgio Lazzarinetti, Sara Manzoni, Italo Zoppis, Riccardo Dondi |
| 2024 | Faster Algorithm for Converting an STNU into Minimal Dispatchable Form. Luke Hunsberger, Roberto Posenato |
| 2024 | Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation. Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2024 | Full Characterisation of Extended CTL. Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2024 | Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning. Ajdin Sumic, Thierry Vidal, Andrea Micheli, Alessandro Cimatti |
| 2024 | Learning Temporal Properties from Event Logs via Sequential Analysis. Francesco Chiariello |
| 2024 | Model Checking Linear Temporal Properties on Polyhedral Systems. Massimo Benerecetti, Marco Faella, Fabio Mogavero |
| 2024 | Open the Chests: An Environment for Activity Recognition and Sequential Decision Problems Using Temporal Logic. Ivelina Stoyanova, Nicolas Museux, Sao Mai Nguyen, David Filliat |
| 2024 | Real-Time Higher-Order Recursion Schemes. Eric Alsmann, Florian Bruse |
| 2024 | Robust Execution of Probabilistic STNs. Luke Hunsberger, Roberto Posenato |
| 2024 | Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk). Przemyslaw Andrzej Walega |
| 2024 | Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk). Sophie Pinchinat |
| 2024 | Time Series Anomaly Detection Leveraging MSE Feedback with AutoEncoder and RNN. Ibrahim Delibasoglu, Fredrik Heintz |
| 2024 | What Killed the Cat? Towards a Logical Formalization of Curiosity (And Suspense, and Surprise) in Narratives. Florence Dupin de Saint-Cyr, Anne-Gwenn Bosser, Benjamin Callac, Eric Maisel |