![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
24th 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.