default search action
26th TIME 2019: Málaga, Spain
- Johann Gamper
, Sophie Pinchinat, Guido Sciavicco:
26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. LIPIcs 147, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-127-6 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:14
- Michael H. Böhlen
Computing the Fourier Transformation over Temporal Data Streams (Invited Talk). 1:1-1:4 - Estela Saquete Boró
From Unstructured Data to Narrative Abstractive Summaries (Invited Talk). 2:1-2:4 - Patricia Bouyer
On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). 3:1-3:3 - Przemyslaw Andrzej Walega, Michal Zawidzki
A Modal Logic for Subject-Oriented Spatial Reasoning. 4:1-4:22 - Carlo Combi, Barbara Oliboni, Pietro Sala
Customizing BPMN Diagrams Using Timelines. 5:1-5:17 - Ana de Almeida Borges
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. 6:1-6:16 - Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. 7:1-7:15 - Melisachew Wudage Chekol, Heiner Stuckenschmidt
Time-Aware Probabilistic Knowledge Graphs. 8:1-8:17 - Yakoub Salhi
Qualitative Reasoning and Data Mining. 9:1-9:15 - Elena Loli Piccolomini
Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction. 10:1-10:12 - Akash Hossain, François Laroussinie:
From Quantified CTL to QBF. 11:1-11:20 - Alex Abuin
Towards Certified Model Checking for PLTL Using One-Pass Tableaux. 12:1-12:18 - Serenella Cerrito, Amélie David, Valentin Goranko
Minimisation of Models Satisfying CTL Formulas. 13:1-13:15 - Michael Sioutis
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning. 14:1-14:17 - Quentin Peyras, Julien Brunel, David Chemouil
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. 15:1-15:16 - Matteo Zavatteri
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. 16:1-16:17 - Andrea Brunello
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. 17:1-17:19 - Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. 18:1-18:17 - Pablo Cordero
Simplifying Inductive Schemes in Temporal Logic. 19:1-19:13 - Hsi-Ming Ho
On Verifying Timed Hyperproperties. 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 2024-11-22 19:49 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: