TIME C

19 papers

YearTitle / Authors
20211½-Player Stochastic StopWatch Games.
Sparsa Roychowdhury
202128th International Symposium on Temporal Representation and Reasoning, TIME 2021, Klagenfurt, Austria, September 27-29, 2021
Carlo Combi, Johann Eder, Mark Reynolds
2021A Neuro-Symbolic Approach to Structured Event Recognition.
Gianluca Apriceno, Andrea Passerini, Luciano Serafini
2021A One-Pass Tree-Shaped Tableau for Defeasible LTL.
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
2021Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps.
Curtis E. Dyreson, M. A. Manazir Ahsan
2021Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
2021Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk).
Torben Bach Pedersen
2021Front Matter, Table of Contents, Preface, Conference Organization.
2021Interval Temporal Random Forests with an Application to COVID-19 Diagnosis.
Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2021Investigation of Database Models for Evolving Graphs.
Alexandros Spitalas, Anastasios Gounaris, Kostas Tsichlas, Andreas Kosmatopoulos
2021Kernel Machines in Time (Invited Talk).
Johan A. K. Suykens
2021Model Checking Timed Recursive CTL.
Florian Bruse, Martin Lange
2021Model Checking of Stream Processing Pipelines.
Alexis Bédard, Sylvain Hallé
2021Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.
Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura
2021Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker.
Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
2021Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes.
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk).
Luke Hunsberger, Roberto Posenato
2021Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description).
Alfredo Cuzzocrea