| 2018 | 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018 Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek |
| 2018 | A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds |
| 2018 | A Stream Reasoning System for Maritime Monitoring. Georgios M. Santipantakis, Akrivi Vlachou, Christos Doulkeridis, Alexander Artikis, Ioannis Kontopoulos, George A. Vouros |
| 2018 | A Temporal Logic for Modelling Activities of Daily Living. Malte S. Kließ, Catholijn M. Jonker, M. Birna van Riemsdijk |
| 2018 | Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases. Andreas Dohr, Christiane Engels, Andreas Behrend |
| 2018 | An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion Recognition. Pattreeya Tanisaro, Gunther Heidemann |
| 2018 | Computational Complexity of a Core Fragment of Halpern-Shoham Logic. Przemyslaw Andrzej Walega |
| 2018 | Database Technology for Processing Temporal Data (Invited Paper). Michael H. Böhlen, Anton Dignös, Johann Gamper, Christian S. Jensen |
| 2018 | Deciding the Consistency of Branching Time Interval Networks. Marco Gavanelli, Alessandro Passantino, Guido Sciavicco |
| 2018 | Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. Carlo Combi, Roberto Posenato |
| 2018 | Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
| 2018 | Extracting Interval Temporal Logic Rules: A First Approach. Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco |
| 2018 | Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty. Massimo Cairo, Luke Hunsberger, Romeo Rizzi |
| 2018 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2018 | GSM+T: A Timed Artifact-Centric Process Model. Julius Köpke, Johann Eder, Jianwen Su |
| 2018 | Learning Qualitative Constraint Networks. Malek Mouhoub, Hamad Al Marri, Eisa Alanazi |
| 2018 | Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). Wojciech Jamroga |
| 2018 | On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier. Carlo Comin, Romeo Rizzi |
| 2018 | On Temporal and Separation Logics (Invited Paper). Stéphane Demri |
| 2018 | On the Expressive Power of Hybrid Branching-Time Logics. Daniel Kernberger, Martin Lange |
| 2018 | Population Based Methods for Optimising Infinite Behaviours of Timed Automata. Lewis Tolonen, Tim French, Mark Reynolds |
| 2018 | Predicting the Evolution of Communities with Online Inductive Logic Programming. George Athanasopoulos, George Paliouras, Dimitrios Vogiatzis, Grigorios Tzortzis, Nikos Katzouris |
| 2018 | Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking. Luke Hunsberger, Roberto Posenato |
| 2018 | Results on Alternating-Time Temporal Logics with Linear Past. Laura Bozzelli, Aniello Murano, Loredana Sorrentino |
| 2018 | Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. Luke Hunsberger, Roberto Posenato |