TIME 2019 October 16-19, 2019, Málaga, Spain

26th International Symposium on Temporal Representation and Reasoning (TIME 2019)



Johann Gamper and Sophie Pinchinat and Guido Sciavicco (Eds.)
ISBN 978-3-95977-127-6, LIPICS Vol. 147 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 14 MB)
Search Publication Server

Authors
  • Abuin, Alex
  • Böhlen, Michael H.
  • Bolotov, Alexander
  • Bouyer, Patricia
  • Bozzelli, Laura
  • Brandt, Sebastian
  • Brunel, Julien
  • Brunello, Andrea
  • Calvanese, Diego
  • Cascarano, Pasquale
  • Cerrito, Serenella
  • Chekol, Melisachew Wudage
  • Chemouil, David
  • Combi, Carlo
  • Conejero Rodríguez, Juan José
  • Cordero, Pablo
  • David, Amélie
  • de Almeida Borges, Ana
  • de Guzmán, Inmaculada P.
  • Díaz de Cerio, Unai
  • Fernández-Duque, David
  • Fortes, Inmaculada
  • Gamper, Johann
  • Gandolfi, Stefano
  • González Bedmar, Mireia
  • Goranko, Valentin
  • Hermo, Montserrat
  • Ho, Hsi-Ming
  • Hossain, Akash
  • Janhunen, Tomi
  • Jones, Timothy M.
  • Joosten, Joost J.
  • Kalayci, Elem Güzel
  • Kontchakov, Roman
  • Laroussinie, François
  • Loli Piccolomini, Elena
  • Lucio, Paqui
  • Montanari, Angelo
  • Mörzinger, Benjamin
  • Oliboni, Barbara
  • Paparrizou, Anastasia
  • Pascucci, Andrea
  • Peron, Adriano
  • Peyras, Quentin
  • Pinchinat, Sophie
  • Poluzzi, Luca
  • Reynolds, Mark
  • Rizzi, Romeo
  • Ryzhikov, Vladislav
  • Saad, Muhammad
  • Sala, Pietro
  • Salhi, Yakoub
  • Sánchez, Sixto
  • Saquete Boró, Estela
  • Sciavicco, Guido
  • Sioutis, Michael
  • Stuckenschmidt, Heiner
  • Tavasci, Luca
  • Viganò, Luca
  • Walega, Przemyslaw Andrzej
  • Xiao, Guohui
  • Zakharyaschev, Michael
  • Zavatteri, Matteo
  • Zawidzki, Michal
  • Zhou, Ruoyu
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Gamper, Johann ; Pinchinat, Sophie ; Sciavicco, Guido

    Abstract | Document (311 KB) | BibTeX

    Computing the Fourier Transformation over Temporal Data Streams (Invited Talk)
    Authors: Böhlen, Michael H. ; Saad, Muhammad

    Abstract | Document (413 KB) | BibTeX

    From Unstructured Data to Narrative Abstractive Summaries (Invited Talk)
    Authors: Saquete Boró, Estela

    Abstract | Document (325 KB) | BibTeX

    On the Computation of Nash Equilibria in Games on Graphs (Invited Talk)
    Authors: Bouyer, Patricia

    Abstract | Document (362 KB) | BibTeX

    A Modal Logic for Subject-Oriented Spatial Reasoning
    Authors: Walega, Przemyslaw Andrzej ; Zawidzki, Michal

    Abstract | Document (1,153 KB) | BibTeX

    Customizing BPMN Diagrams Using Timelines
    Authors: Combi, Carlo ; Oliboni, Barbara ; Sala, Pietro

    Abstract | Document (828 KB) | BibTeX

    The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations
    Authors: de Almeida Borges, Ana ; Conejero Rodríguez, Juan José ; Fernández-Duque, David ; González Bedmar, Mireia ; Joosten, Joost J.

    Abstract | Document (557 KB) | BibTeX

    Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases
    Authors: Brandt, Sebastian ; Calvanese, Diego ; Kalayci, Elem Güzel ; Kontchakov, Roman ; Mörzinger, Benjamin ; Ryzhikov, Vladislav ; Xiao, Guohui ; Zakharyaschev, Michael

    Abstract | Document (1,474 KB) | BibTeX

    Time-Aware Probabilistic Knowledge Graphs
    Authors: Chekol, Melisachew Wudage ; Stuckenschmidt, Heiner

    Abstract | Document (1,319 KB) | BibTeX

    Qualitative Reasoning and Data Mining
    Authors: Salhi, Yakoub

    Abstract | Document (519 KB) | BibTeX

    Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction
    Authors: Loli Piccolomini, Elena ; Gandolfi, Stefano ; Poluzzi, Luca ; Tavasci, Luca ; Cascarano, Pasquale ; Pascucci, Andrea

    Abstract | Document (1,675 KB) | BibTeX

    From Quantified CTL to QBF
    Authors: Hossain, Akash ; Laroussinie, François

    Abstract | Document (617 KB) | BibTeX

    Towards Certified Model Checking for PLTL Using One-Pass Tableaux
    Authors: Abuin, Alex ; Bolotov, Alexander ; Díaz de Cerio, Unai ; Hermo, Montserrat ; Lucio, Paqui

    Abstract | Document (1,054 KB) | BibTeX

    Minimisation of Models Satisfying CTL Formulas
    Authors: Cerrito, Serenella ; David, Amélie ; Goranko, Valentin

    Abstract | Document (547 KB) | BibTeX

    On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning
    Authors: Sioutis, Michael ; Paparrizou, Anastasia ; Janhunen, Tomi

    Abstract | Document (579 KB) | BibTeX

    A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic
    Authors: Peyras, Quentin ; Brunel, Julien ; Chemouil, David

    Abstract | Document (581 KB) | BibTeX

    Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions
    Authors: Zavatteri, Matteo ; Combi, Carlo ; Rizzi, Romeo ; Viganò, Luca

    Abstract | Document (660 KB) | BibTeX

    Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions
    Authors: Brunello, Andrea ; Montanari, Angelo ; Reynolds, Mark

    Abstract | Document (520 KB) | BibTeX

    Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic
    Authors: Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano

    Abstract | Document (675 KB) | BibTeX

    Simplifying Inductive Schemes in Temporal Logic
    Authors: Cordero, Pablo ; Fortes, Inmaculada ; de Guzmán, Inmaculada P. ; Sánchez, Sixto

    Abstract | Document (520 KB) | BibTeX

    On Verifying Timed Hyperproperties
    Authors: Ho, Hsi-Ming ; Zhou, Ruoyu ; Jones, Timothy M.

    Abstract | Document (678 KB) | BibTeX

    		  



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