TIME 2017 October 16-18, 2017 - Mons, Belgium

24th International Symposium on Temporal Representation and Reasoning (TIME 2017)



Sven Schewe and Thomas Schneider and Jef Wijsen (Eds.)
ISBN 978-3-95977-052-1, LIPICS Vol. 90 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 15 MB)
Search Publication Server


Authors
  • Amarilli, Antoine
  • Artale, Alessandro
  • Ba, Mouhamadou Lamine
  • Behaegel, Jonathan
  • Bozzelli, Laura
  • Brihaye, Thomas
  • Cairo, Massimo
  • Caminada, Alexandre
  • Combi, Carlo
  • Comet, Jean-Paul
  • Comin, Carlo
  • Condotta, Jean-François
  • de Frutos-Escrig, David
  • Della Monica, Dario
  • Deutch, Daniel
  • Esparza, Javier
  • Etcheverry, Mathias
  • Folschette, Maxime
  • Geeraerts, Gilles
  • Goranko, Valentin
  • Grüninger, Michael
  • Grandi, Fabio
  • Ho, Hsi-Ming
  • Hunsberger, Luke
  • Kernberger, Daniel
  • Kiermeier, Marie
  • Kontchakov, Roman
  • Kovtunova, Alisa
  • Kuusisto, Antti
  • Lange, Martin
  • Levy, Eythan
  • Li, Zhuojun
  • Mandreoli, Federica
  • Martoglia, Riccardo
  • McIlraith, Sheila A.
  • Moalic, Laurent
  • Monmege, Benjamin
  • Montanari, Angelo
  • Murano, Aniello
  • Nielson, Flemming
  • Nielson, Hanne Riis
  • Paparrizou, Anastasia
  • Penzo, Wilma
  • Perelli, Giuseppe
  • Pluquet, Frédéric
  • Posenato, Roberto
  • Rönnholm, Raine
  • Rizzi, Romeo
  • Ryzhikov, Vladislav
  • Schewe, Sven
  • Schneider, Thomas
  • Sciavicco, Guido
  • Senellart, Pierre
  • Sioutis, Michael
  • Sorrentino, Loredana
  • Thuillier, Etienne
  • Vasilikos, Panagiotis
  • Walega, Przemyslaw Andrzej
  • Werner, Martin
  • Wijsen, Jef
  • Wolter, Frank
  • Wonsever, Dina
  • Zakharyaschev, Michael
  • Zavatteri, Matteo

  •   
    Front Matter, Table of Contents, Preface, Organization, List of Authors
    Authors: Schewe, Sven ; Schneider, Thomas ; Wijsen, Jef

    Abstract | Document (333 KB) | BibTeX

    Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk)
    Authors: Artale, Alessandro ; Kontchakov, Roman ; Kovtunova, Alisa ; Ryzhikov, Vladislav ; Wolter, Frank ; Zakharyaschev, Michael

    Abstract | Document (874 KB) | BibTeX

    Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk)
    Authors: Esparza, Javier

    Abstract | Document (354 KB) | BibTeX

    Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk)
    Authors: McIlraith, Sheila A.

    Abstract | Document (214 KB) | BibTeX

    Possible and Certain Answers for Queries over Order-Incomplete Data
    Authors: Amarilli, Antoine ; Ba, Mouhamadou Lamine ; Deutch, Daniel ; Senellart, Pierre

    Abstract | Document (640 KB) | BibTeX

    Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks
    Authors: Behaegel, Jonathan ; Comet, Jean-Paul ; Folschette, Maxime

    Abstract | Document (698 KB) | BibTeX

    Hierarchical Cost-Parity Games
    Authors: Bozzelli, Laura ; Murano, Aniello ; Perelli, Giuseppe ; Sorrentino, Loredana

    Abstract | Document (649 KB) | BibTeX

    Timed-Automata-Based Verification of MITL over Signals
    Authors: Brihaye, Thomas ; Geeraerts, Gilles ; Ho, Hsi-Ming ; Monmege, Benjamin

    Abstract | Document (723 KB) | BibTeX

    Dynamic Controllability Made Simple
    Authors: Cairo, Massimo ; Rizzi, Romeo

    Abstract | Document (605 KB) | BibTeX

    Incorporating Decision Nodes into Conditional Simple Temporal Networks
    Authors: Cairo, Massimo ; Combi, Carlo ; Comin, Carlo ; Hunsberger, Luke ; Posenato, Roberto ; Rizzi, Romeo ; Zavatteri, Matteo

    Abstract | Document (698 KB) | BibTeX

    A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results
    Authors: Cairo, Massimo ; Hunsberger, Luke ; Posenato, Roberto ; Rizzi, Romeo

    Abstract | Document (626 KB) | BibTeX

    Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking
    Authors: Della Monica, Dario ; de Frutos-Escrig, David ; Montanari, Angelo ; Murano, Aniello ; Sciavicco, Guido

    Abstract | Document (613 KB) | BibTeX

    Time Expressions Recognition with Word Vectors and Neural Networks
    Authors: Etcheverry, Mathias ; Wonsever, Dina

    Abstract | Document (525 KB) | BibTeX

    Models and Algorithms for Chronology
    Authors: Geeraerts, Gilles ; Levy, Eythan ; Pluquet, Frédéric

    Abstract | Document (635 KB) | BibTeX

    CTL with Finitely Bounded Semantics
    Authors: Goranko, Valentin ; Kuusisto, Antti ; Rönnholm, Raine

    Abstract | Document (663 KB) | BibTeX

    A Relational Algebra for Streaming Tables Living in a Temporal Database World
    Authors: Grandi, Fabio ; Mandreoli, Federica ; Martoglia, Riccardo ; Penzo, Wilma

    Abstract | Document (602 KB) | BibTeX

    The Time Ontology of Allen's Interval Algebra
    Authors: Grüninger, Michael ; Li, Zhuojun

    Abstract | Document (601 KB) | BibTeX

    The Fully Hybrid mu-Calculus
    Authors: Kernberger, Daniel ; Lange, Martin

    Abstract | Document (530 KB) | BibTeX

    Similarity Search for Spatial Trajectories Using Online Lower Bounding DTW and Presorting Strategies
    Authors: Kiermeier, Marie ; Werner, Martin

    Abstract | Document (2,500 KB) | BibTeX

    Collective Singleton-Based Consistency for Qualitative Constraint Networks
    Authors: Sioutis, Michael ; Paparrizou, Anastasia ; Condotta, Jean-François

    Abstract | Document (693 KB) | BibTeX

    Dynamic Purpose Decomposition of Mobility Flows Based on Geographical Data
    Authors: Thuillier, Etienne ; Moalic, Laurent ; Caminada, Alexandre

    Abstract | Document (1,099 KB) | BibTeX

    Time Dependent Policy-Based Access Control
    Authors: Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis

    Abstract | Document (589 KB) | BibTeX

    On Expressiveness of Halpern-Shoham Logic and its Horn Fragments
    Authors: Walega, Przemyslaw Andrzej

    Abstract | Document (633 KB) | BibTeX

    Conditional Simple Temporal Networks with Uncertainty and Decisions
    Authors: Zavatteri, Matteo

    Abstract | Document (643 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI