Abstract is missing.
- Qualitative Reasoning and Data MiningYakoub Salhi. [doi]
- From Quantified CTL to QBFAkash Hossain, François Laroussinie. [doi]
- Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use CasesSebastian Brandt 0001, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev. [doi]
- Computing the Fourier Transformation over Temporal Data Streams (Invited Talk)Michael H. Böhlen, Muhammad Saad. [doi]
- Towards Certified Model Checking for PLTL Using One-Pass TableauxAlex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio. [doi]
- From Unstructured Data to Narrative Abstractive Summaries (Invited Talk)Estela Saquete Boró. [doi]
- Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research DirectionsAndrea Brunello, Angelo Montanari, Mark Reynolds. [doi]
- Simplifying Inductive Schemes in Temporal LogicPablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez. [doi]
- The Second Order Traffic Fine: Temporal Reasoning in European Transport RegulationsAna de Almeida Borges, Juan José Conejero Rodríguez, David Fernández Duque, Mireia González Bedmar, Joost J. Joosten. [doi]
- A Modal Logic for Subject-Oriented Spatial ReasoningPrzemyslaw Andrzej Walega, Michal Zawidzki. [doi]
- On Verifying Timed HyperpropertiesHsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones 0001. [doi]
- On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal ReasoningMichael Sioutis, Anastasia Paparrizou, Tomi Janhunen. [doi]
- Recurrent Neural Networks Applied to GNSS Time Series for Denoising and PredictionElena Loli Piccolomini, Stefano Gandolfi 0001, Luca Poluzzi, Luca Tavasci, Pasquale Cascarano, Andrea Pascucci. [doi]
- Minimisation of Models Satisfying CTL FormulasSerenella Cerrito, Amélie David 0001, Valentin Goranko. [doi]
- Customizing BPMN Diagrams Using TimelinesCarlo Combi, Barbara Oliboni, Pietro Sala. [doi]
- Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal LogicLaura Bozzelli, Angelo Montanari, Adriano Peron. [doi]
- On the Computation of Nash Equilibria in Games on Graphs (Invited Talk)Patricia Bouyer. [doi]
- Time-Aware Probabilistic Knowledge GraphsMelisachew Wudage Chekol, Heiner Stuckenschmidt. [doi]
- Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with DecisionsMatteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò 0001. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal LogicQuentin Peyras, Julien Brunel, David Chemouil. [doi]