default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st TIME 2024: Montpellier, France
- Pietro Sala
, Michael Sioutis, Fusheng Wang:
31st International Symposium on Temporal Representation and Reasoning, TIME 2024, Montpellier, France, October 28-30, 2024. LIPIcs 318, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-349-2 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xiv
- Guido Sciavicco:
A General Logical Approach to Learning from Time Series (Invited Talk). 1:1-1:2 - Sophie Pinchinat:
Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk). 2:1-2:2 - Przemyslaw Andrzej Walega:
Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk). 3:1-3:3 - Johann Eder, Roberto Posenato, Carlo Combi, Marco Franceschetti, Franziska S. Hollauf:
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles. 4:1-4:16 - Ivelina Stoyanova, Nicolas Museux, Sao Mai Nguyen, David Filliat:
Open the Chests: An Environment for Activity Recognition and Sequential Decision Problems Using Temporal Logic. 5:1-5:19 - Periklis Mantenoglou, Alexander Artikis:
Extending the Range of Temporal Specifications of the Run-Time Event Calculus. 6:1-6:14 - Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan:
Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation. 7:1-7:16 - Aïdin Sumic, Thierry Vidal:
A More Efficient and Informed Algorithm to Check Weak Controllability of Simple Temporal Networks with Uncertainty. 8:1-8:15 - Luke Hunsberger, Roberto Posenato:
A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty. 9:1-9:15 - Florence Dupin de Saint-Cyr, Anne-Gwenn Bosser, Benjamin Callac, Eric Maisel:
What Killed the Cat? Towards a Logical Formalization of Curiosity (And Suspense, and Surprise) in Narratives. 10:1-10:16 - Luke Hunsberger, Roberto Posenato:
Faster Algorithm for Converting an STNU into Minimal Dispatchable Form. 11:1-11:14 - Luke Hunsberger, Roberto Posenato:
Robust Execution of Probabilistic STNs. 12:1-12:19 - Ajdin Sumic, Thierry Vidal, Andrea Micheli, Alessandro Cimatti:
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning. 13:1-13:14 - Francesco Chiariello:
Learning Temporal Properties from Event Logs via Sequential Analysis. 14:1-14:14 - Jean-François Condotta, Yakoub Salhi:
A Framework for Assessing Inconsistency in Disjunctive Temporal Problems. 15:1-15:18 - Eric Alsmann, Florian Bruse:
Real-Time Higher-Order Recursion Schemes. 16:1-16:20 - Ibrahim Delibasoglu, Fredrik Heintz:
Time Series Anomaly Detection Leveraging MSE Feedback with AutoEncoder and RNN. 17:1-17:12 - Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron:
Full Characterisation of Extended CTL. 18:1-18:18 - Massimo Benerecetti, Marco Faella, Fabio Mogavero:
Model Checking Linear Temporal Properties on Polyhedral Systems. 19:1-19:23 - Giorgio Lazzarinetti, Sara Manzoni, Italo Zoppis, Riccardo Dondi:
FastMinTC+: A Fast and Effective Heuristic for Minimum Timeline Cover on Temporal Networks. 20:1-20:18
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-11-28 23:54 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:
