Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th 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
a service of 
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.
last updated on 2024-04-22 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
