default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd TIME 2025: London, UK
- Thierry Vidal
, Przemyslaw Andrzej Walega:
32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, August 27-29, 2025, Queen Mary University of London, UK. LIPIcs 355, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-401-7 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xvi
- Michael Zakharyaschev:
Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk). 1:1-1:2 - Nicola Gigante:
An Introduction to First-Order Linear Temporal Logic (Invited Talk). 2:1-2:6 - Eric Alsmann, Martin Lange:
Metric Linear-Time Temporal Logic with Strict First-Time Semantics. 3:1-3:14 - Pietro Bellodi, Pietro Casavecchia, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan:
Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic. 4:1-4:15 - Florian Bruse:
Higher-Order Timed Automata and Tail Recursion. 5:1-5:16 - Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot:
GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning. 6:1-6:14 - Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti:
PDDL to DFA: A Symbolic Transformation for Effective Reasoning. 7:1-7:14 - Riccardo Dondi, Rares-Ioan Mateiu, Alexandru Popa:
Heuristics for Covering the Timeline in Temporal Graphs. 8:1-8:13 - Curtis E. Dyreson, Bishal Sarkar:
Temporal GraphQL: A Tree Grammar Approach. 9:1-9:14 - Luca Geatti, Stefano Pessotto, Stefano Tonetta:
Safety and Liveness on Finite Words. 10:1-10:18 - Luke Hunsberger, Roberto Posenato:
A Better Algorithm for Converting an STNU into Minimal Dispatchable Form. 11:1-11:15 - Arthur Jansen, Bart Kuijpers:
On the Complexity of the Realisability Problem for Visit Events in Trajectory Sample Databases. 12:1-12:14 - Xiaojin Li, Yan Huang, Rashmie Abeysinghe, Zenan Sun, Hongyu Chen, Pengze Li, Xing He, Shiqiang Tao, Cui Tao, Jiang Bian, Licong Cui, Guo-Qiang Zhang:
Temporal Ensemble Logic for Integrative Representation of the Entirety of Clinical Trials. 13:1-13:16 - Nassim Belmecheri:
QualiNet: Acquiring Bird's Eye View Qualitative Spatial Representation from 2D Images in Automated Vehicle Perception (Short Paper). 14:1-14:6 - Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger:
The Temporal Vadalog System (Short Paper). 15:1-15:8 - Arthur Jansen, Bart Kuijpers:
Solutions to the Generalised Alibi Query in Moving Object Databases (Short Paper). 16:1-16:4 - Arthur Jansen, Bart Kuijpers:
Visit Probability in Space-Time Prisms for Moving Object Data (Short Paper). 17:1-17:4 - Andreas Kouvaras, Periklis Mantenoglou, Alexander Artikis:
Prompting LLMs for the Run-Time Event Calculus (Short Paper). 18:1-18:7 - Mauro Milella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Temporal Association Rules from Motifs (Short Paper). 19:1-19:7 - Alexander J. Williams, Gregor Meehan, Stefan Lattner, Johan Pauwels, Mathieu Barthet:
Temporal Considerations in DJ Mix Information Retrieval and Generation (Short Paper). 20:1-20:8 - Lyris Xu, Fabio Aurelio D'Asaro, Luke Dickens:
A Translation of Probabilistic Event Calculus into Markov Decision Processes (Short Paper). 21:1-21:5
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-10-22 02:23 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:
