![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
28th TIME 2021: Klagenfurt, Austria
- Carlo Combi
, Johann Eder
, Mark Reynolds
:
28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. LIPIcs 206, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-206-8 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:14
- Luke Hunsberger, Roberto Posenato
:
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk). 1:1-1:5 - Torben Bach Pedersen:
Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk). 2:1-2:2 - Johan A. K. Suykens:
Kernel Machines in Time (Invited Talk). 3:1-3:1 - Alfredo Cuzzocrea:
Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description). 4:1-4:7 - Alexis Bédard, Sylvain Hallé:
Model Checking of Stream Processing Pipelines. 5:1-5:17 - Alexandros Spitalas, Anastasios Gounaris, Kostas Tsichlas, Andreas Kosmatopoulos
:
Investigation of Database Models for Evolving Graphs. 6:1-6:13 - Federico Manzella, Giovanni Pagliarini
, Guido Sciavicco, Ionel Eduard Stan:
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. 7:1-7:18 - Luca Geatti
, Nicola Gigante, Angelo Montanari, Gabriele Venturato:
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. 8:1-8:17 - Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. 9:1-9:19 - Vladislav Ryzhikov, Yury Savateev
, Michael Zakharyaschev
:
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. 10:1-10:15 - Gianluca Apriceno, Andrea Passerini, Luciano Serafini:
A Neuro-Symbolic Approach to Structured Event Recognition. 11:1-11:14 - Florian Bruse, Martin Lange:
Model Checking Timed Recursive CTL. 12:1-12:14 - Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli
, Parisa Zehtabi:
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. 13:1-13:14 - Curtis E. Dyreson, M. A. Manazir Ahsan:
Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps. 14:1-14:13 - Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli
, Rodrigo Ventura:
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. 15:1-15:15 - Anasse Chafik
, Fahima Cheikh Alili
, Jean-François Condotta, Ivan Varzinczak:
A One-Pass Tree-Shaped Tableau for Defeasible LTL. 16:1-16:18 - Sparsa Roychowdhury:
1½-Player Stochastic StopWatch Games. 17:1-17:18
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.