default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th TIME 2023: Athens, Greece
- Alexander Artikis
, Florian Bruse, Luke Hunsberger:
30th International Symposium on Temporal Representation and Reasoning, TIME 2023, NCSR Demokritos, Athens, Greece, September 25-26, 2023. LIPIcs 278, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-298-3 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:14
- Laura Nenzi:
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). 1:1-1:2 - Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. 2:1-2:14 - Alexis Baudin, Lionel Tabourier, Clémence Magnien:
LSCPM: Communities in Massive Real-World Link Streams by Clique Percolation Method. 3:1-3:18 - Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala:
Discovering Predictive Dependencies on Multi-Temporal Relations. 4:1-4:19 - Yakoub Salhi, Michael Sioutis:
Prime Scenarios in Qualitative Spatial and Temporal Reasoning. 5:1-5:14 - Saumya Shankar, Srinivas Pinisetty, Thierry Jéron:
Bounded-Memory Runtime Enforcement of Timed Properties. 6:1-6:22 - Hsi-Ming Ho, Khushraj Madnani:
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. 7:1-7:15 - Alessandro Bregoli, Karin Rathsman, Marco Scutari, Fabio Stella, Søren Wengel Mogensen:
Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian Networks. 8:1-8:21 - Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. 9:1-9:14 - Florian Bruse, Marit Kastaun, Martin Lange, Sören Möller:
The Calculus of Temporal Influence. 10:1-10:19 - Anshuman Misra, Ajay D. Kshemkalyani:
Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case. 11:1-11:14 - Michael Sioutis:
Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks. 12:1-12:12 - Curtis E. Dyreson:
Optimization of Nonsequenced Queries Using Log-Segmented Timestamps. 13:1-13:15 - Periklis Mantenoglou:
An Event Calculus for Run-Time Reasoning (Extended Abstract). 14:1-14:3 - Nikos Giatrakos:
SSTRESED: Scalable Semantic Trajectory Extraction for Simple Event Detection over Streaming Movement Data (Extended Abstract). 15:1-15:4 - Yakoub Salhi, Michael Sioutis:
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). 16:1-16:3 - Nikos Katzouris, Georgios Paliouras:
Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract). 17:1-17:3 - Petro-Foti Kamberi, Evgenios Kladis, Charilaos Akasiadis:
A Benchmark for Early Time-Series Classification (Extended Abstract). 18:1-18:3 - Marco Sälzer, Silvia Beddar-Wiesing:
Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract). 19:1-19:3 - Luke Hunsberger, Roberto Posenato:
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract). 20:1-20:3 - Luca Geatti, Alessandro Gianola, Nicola Gigante:
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). 21:1-21:3 - Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari:
Qualitative past Timeline-Based Games (Extended Abstract). 22:1-22:3
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 2025-12-09 23:25 CET 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:
