Abstract is missing.
- Kernel Machines in Time (Invited Talk)Johan A. K. Suykens. [doi]
- Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk)Luke Hunsberger, Roberto Posenato. [doi]
- Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal LogicVladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev. [doi]
- A Neuro-Symbolic Approach to Structured Event RecognitionGianluca Apriceno, Andrea Passerini, Luciano Serafini. [doi]
- Interval Temporal Random Forests with an Application to COVID-19 DiagnosisFederico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan. [doi]
- Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description)Alfredo Cuzzocrea. [doi]
- 1½-Player Stochastic StopWatch GamesSparsa Roychowdhury. [doi]
- Pspace-Completeness of the Temporal Logic of Sub-Intervals and SuffixesLaura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala. [doi]
- Model Checking Timed Recursive CTLFlorian Bruse, Martin Lange. [doi]
- Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal PlansMichael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi. [doi]
- Past Matters: Supporting LTL+Past in the BLACK Satisfiability CheckerLuca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato. [doi]
- Model Checking of Stream Processing PipelinesAlexis Bédard, Sylvain Hallé. [doi]
- Investigation of Database Models for Evolving GraphsAlexandros Spitalas, Anastasios Gounaris, Kostas Tsichlas, Andreas Kosmatopoulos. [doi]
- Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal PlansTomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura 0001. [doi]
- Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk)Torben Bach Pedersen. [doi]
- Achieving a Sequenced, Relational Query Language with Log-Segmented TimestampsCurtis E. Dyreson, M. A. Manazir Ahsan. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- A One-Pass Tree-Shaped Tableau for Defeasible LTLAnasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak. [doi]