default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th TIME 2017: Mons, Belgium
- Sven Schewe, Thomas Schneider, Jef Wijsen:
24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium. LIPIcs 90, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-052-1 - Front Matter, Table of Contents, Preface, Organization, List of Authors. 0:i-0:xiv
- Alessandro Artale, Roman Kontchakov, Alisa Kovtunova
, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). 1:1-1:37 - Javier Esparza:
Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk). 2:1-2:6 - Sheila A. McIlraith:
Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). 3:1-3:1 - Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart:
Possible and Certain Answers for Queries over Order-Incomplete Data. 4:1-4:19 - Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette:
Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks. 5:1-5:21 - Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Hierarchical Cost-Parity Games. 6:1-6:17 - Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege:
Timed-Automata-Based Verification of MITL over Signals. 7:1-7:19 - Massimo Cairo, Romeo Rizzi:
Dynamic Controllability Made Simple. 8:1-8:16 - Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri:
Incorporating Decision Nodes into Conditional Simple Temporal Networks. 9:1-9:18 - Massimo Cairo, Luke Hunsberger, Roberto Posenato, Romeo Rizzi:
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results. 10:1-10:19 - Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. 11:1-11:18 - Mathías Etcheverry, Dina Wonsever:
Time Expressions Recognition with Word Vectors and Neural Networks. 12:1-12:20 - Gilles Geeraerts, Eythan Levy, Frédéric Pluquet:
Models and Algorithms for Chronology. 13:1-13:18 - Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
CTL with Finitely Bounded Semantics. 14:1-14:19 - Fabio Grandi, Federica Mandreoli, Riccardo Martoglia, Wilma Penzo:
A Relational Algebra for Streaming Tables Living in a Temporal Database World. 15:1-15:17 - Michael Grüninger, Zhuojun Li:
The Time Ontology of Allen's Interval Algebra. 16:1-16:16 - Daniel Kernberger, Martin Lange:
The Fully Hybrid mu-Calculus. 17:1-17:16 - Marie Kiermeier, Martin Werner:
Similarity Search for Spatial Trajectories Using Online Lower Bounding DTW and Presorting Strategies. 18:1-18:15 - Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta:
Collective Singleton-Based Consistency for Qualitative Constraint Networks. 19:1-19:17 - Etienne Thuillier, Laurent Moalic, Alexandre Caminada:
Dynamic Purpose Decomposition of Mobility Flows Based on Geographical Data. 20:1-20:14 - Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson:
Time Dependent Policy-Based Access Control. 21:1-21:18 - Przemyslaw Andrzej Walega:
On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. 22:1-22:18 - Matteo Zavatteri:
Conditional Simple Temporal Networks with Uncertainty and Decisions. 23:1-23:17
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-03-01 15:19 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:
