TIME 2018 October 15-17, 2018 - Warsaw, Poland

25th International Symposium on Temporal Representation and Reasoning (TIME 2018)



Natasha Alechina and Kjetil Nrvg and Wojciech Penczek (Eds.)
ISBN 978-3-95977-089-7, LIPICS Vol. 120 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 19 MB)
Search Publication Server


Authors
  • Alanazi, Eisa
  • Alechina, Natasha
  • Al Marri, Hamad
  • Artikis, Alexander
  • Athanasopoulos, George
  • Bhlen, Michael H.
  • Behrend, Andreas
  • Bolotov, Alexander
  • Bozzelli, Laura
  • Bresolin, Davide
  • Cairo, Massimo
  • Cialdea Mayer, Marta
  • Combi, Carlo
  • Comin, Carlo
  • Cominato, Enrico
  • Demri, Stphane
  • Digns, Anton
  • Dohr, Andreas
  • Doulkeridis, Christos
  • Eder, Johann
  • Engels, Christiane
  • French, Tim
  • Gamper, Johann
  • Gavanelli, Marco
  • Gigante, Nicola
  • Gnani, Simone
  • Heidemann, Gunther
  • Hermo, Montserrat
  • Hunsberger, Luke
  • Jamroga, Wojciech
  • Jensen, Christian S.
  • Jonker, Catholijn M.
  • Kpke, Julius
  • Katzouris, Nikos
  • Kernberger, Daniel
  • Klie, Malte S.
  • Kontopoulos, Ioannis
  • Lange, Martin
  • Lucio, Paqui
  • Montanari, Angelo
  • Mouhoub, Malek
  • Muoz-Velasco, Emilio
  • Murano, Aniello
  • Nrvg, Kjetil
  • Orlandini, Andrea
  • Paliouras, George
  • Passantino, Alessandro
  • Penczek, Wojciech
  • Posenato, Roberto
  • Reynolds, Mark
  • Rizzi, Romeo
  • Santipantakis, Georgios M.
  • Sciavicco, Guido
  • Sorrentino, Loredana
  • Su, Jianwen
  • Tanisaro, Pattreeya
  • Tolonen, Lewis
  • Tzortzis, Grigorios
  • van Riemsdijk, M. Birna
  • Vlachou, Akrivi
  • Vogiatzis, Dimitrios
  • Vouros, George A.
  • Walega, Przemyslaw Andrzej

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Alechina, Natasha ; Nrvg, Kjetil ; Penczek, Wojciech

    Abstract | Document (501 KB) | BibTeX

    On Temporal and Separation Logics (Invited Paper)
    Authors: Demri, Stphane

    Abstract | Document (279 KB) | BibTeX

    Database Technology for Processing Temporal Data (Invited Paper)
    Authors: Bhlen, Michael H. ; Digns, Anton ; Gamper, Johann ; Jensen, Christian S.

    Abstract | Document (268 KB) | BibTeX

    Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper)
    Authors: Jamroga, Wojciech

    Abstract | Document (772 KB) | BibTeX

    Predicting the Evolution of Communities with Online Inductive Logic Programming
    Authors: Athanasopoulos, George ; Paliouras, George ; Vogiatzis, Dimitrios ; Tzortzis, Grigorios ; Katzouris, Nikos

    Abstract | Document (480 KB) | BibTeX

    Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
    Authors: Bolotov, Alexander ; Hermo, Montserrat ; Lucio, Paqui

    Abstract | Document (934 KB) | BibTeX

    Results on Alternating-Time Temporal Logics with Linear Past
    Authors: Bozzelli, Laura ; Murano, Aniello ; Sorrentino, Loredana

    Abstract | Document (614 KB) | BibTeX

    Extracting Interval Temporal Logic Rules: A First Approach
    Authors: Bresolin, Davide ; Cominato, Enrico ; Gnani, Simone ; Muoz-Velasco, Emilio ; Sciavicco, Guido

    Abstract | Document (431 KB) | BibTeX

    Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty
    Authors: Cairo, Massimo ; Hunsberger, Luke ; Rizzi, Romeo

    Abstract | Document (614 KB) | BibTeX

    Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty
    Authors: Combi, Carlo ; Posenato, Roberto

    Abstract | Document (3,275 KB) | BibTeX

    On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier
    Authors: Comin, Carlo ; Rizzi, Romeo

    Abstract | Document (675 KB) | BibTeX

    Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases
    Authors: Dohr, Andreas ; Engels, Christiane ; Behrend, Andreas

    Abstract | Document (827 KB) | BibTeX

    Deciding the Consistency of Branching Time Interval Networks
    Authors: Gavanelli, Marco ; Passantino, Alessandro ; Sciavicco, Guido

    Abstract | Document (424 KB) | BibTeX

    A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty
    Authors: Gigante, Nicola ; Montanari, Angelo ; Cialdea Mayer, Marta ; Orlandini, Andrea ; Reynolds, Mark

    Abstract | Document (580 KB) | BibTeX

    Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty
    Authors: Hunsberger, Luke ; Posenato, Roberto

    Abstract | Document (612 KB) | BibTeX

    Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking
    Authors: Hunsberger, Luke ; Posenato, Roberto

    Abstract | Document (535 KB) | BibTeX

    On the Expressive Power of Hybrid Branching-Time Logics
    Authors: Kernberger, Daniel ; Lange, Martin

    Abstract | Document (485 KB) | BibTeX

    A Temporal Logic for Modelling Activities of Daily Living
    Authors: Klie, Malte S. ; Jonker, Catholijn M. ; van Riemsdijk, M. Birna

    Abstract | Document (500 KB) | BibTeX

    GSM+T: A Timed Artifact-Centric Process Model
    Authors: Kpke, Julius ; Eder, Johann ; Su, Jianwen

    Abstract | Document (4,557 KB) | BibTeX

    Learning Qualitative Constraint Networks
    Authors: Mouhoub, Malek ; Al Marri, Hamad ; Alanazi, Eisa

    Abstract | Document (439 KB) | BibTeX

    A Stream Reasoning System for Maritime Monitoring
    Authors: Santipantakis, Georgios M. ; Vlachou, Akrivi ; Doulkeridis, Christos ; Artikis, Alexander ; Kontopoulos, Ioannis ; Vouros, George A.

    Abstract | Document (725 KB) | BibTeX

    An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion Recognition
    Authors: Tanisaro, Pattreeya ; Heidemann, Gunther

    Abstract | Document (4,083 KB) | BibTeX

    Population Based Methods for Optimising Infinite Behaviours of Timed Automata
    Authors: Tolonen, Lewis ; French, Tim ; Reynolds, Mark

    Abstract | Document (852 KB) | BibTeX

    Computational Complexity of a Core Fragment of Halpern-Shoham Logic
    Authors: Walega, Przemyslaw Andrzej

    Abstract | Document (532 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI