TIME 2021 September 27-29, 2021, Klagenfurt, Austria

28th International Symposium on Temporal Representation and Reasoning (TIME 2021)



Carlo Combi and Johann Eder and Mark Reynolds (Eds.)
ISBN 978-3-95977-206-8, LIPICS Vol. 206 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 7 MB)
Search Publication Server


Authors
  • Ahsan, M. A. Manazir
  • Apriceno, Gianluca
  • Bédard, Alexis
  • Bozzelli, Laura
  • Bruse, Florian
  • Cashmore, Michael
  • Chafik, Anasse
  • Cheikh-Alili, Fahima
  • Cimatti, Alessandro
  • Combi, Carlo
  • Condotta, Jean-François
  • Cuzzocrea, Alfredo
  • Dyreson, Curtis E.
  • Eder, Johann
  • Geatti, Luca
  • Gigante, Nicola
  • Gounaris, Anastasios
  • Hallé, Sylvain
  • Hunsberger, Luke
  • Kosmatopoulos, Andreas
  • Lange, Martin
  • Lima, Oscar
  • Magazzeni, Daniele
  • Manzella, Federico
  • Micheli, Andrea
  • Montanari, Angelo
  • Pagliarini, Giovanni
  • Passerini, Andrea
  • Pedersen, Torben Bach
  • Peron, Adriano
  • Posenato, Roberto
  • Reynolds, Mark
  • Ribeiro, Tomás
  • Roychowdhury, Sparsa
  • Ryzhikov, Vladislav
  • Sala, Pietro
  • Savateev, Yury
  • Sciavicco, Guido
  • Serafini, Luciano
  • Spitalas, Alexandros
  • Stan, Ionel Eduard
  • Suykens, Johan
  • Tsichlas, Kostas
  • Varzinczak, Ivan
  • Ventura, Rodrigo
  • Venturato, Gabriele
  • Zakharyaschev, Michael
  • Zehtabi, Parisa

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Combi, Carlo ; Eder, Johann ; Reynolds, Mark

    Abstract | Document (539 KB) | BibTeX

    Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk)
    Authors: Hunsberger, Luke ; Posenato, Roberto

    Abstract | Document (498 KB) | BibTeX

    Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk)
    Authors: Pedersen, Torben Bach

    Abstract | Document (403 KB) | BibTeX

    Kernel Machines in Time (Invited Talk)
    Authors: Suykens, Johan

    Abstract | Document (318 KB) | BibTeX

    Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description)
    Authors: Cuzzocrea, Alfredo

    Abstract | Document (542 KB) | BibTeX

    Model Checking of Stream Processing Pipelines
    Authors: Bédard, Alexis ; Hallé, Sylvain

    Abstract | Document (1,063 KB) | BibTeX

    Investigation of Database Models for Evolving Graphs
    Authors: Spitalas, Alexandros ; Gounaris, Anastasios ; Tsichlas, Kostas ; Kosmatopoulos, Andreas

    Abstract | Document (1,527 KB) | BibTeX

    Interval Temporal Random Forests with an Application to COVID-19 Diagnosis
    Authors: Manzella, Federico ; Pagliarini, Giovanni ; Sciavicco, Guido ; Stan, Ionel Eduard

    Abstract | Document (805 KB) | BibTeX

    Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker
    Authors: Geatti, Luca ; Gigante, Nicola ; Montanari, Angelo ; Venturato, Gabriele

    Abstract | Document (1,088 KB) | BibTeX

    Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
    Authors: Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano ; Sala, Pietro

    Abstract | Document (798 KB) | BibTeX

    Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
    Authors: Ryzhikov, Vladislav ; Savateev, Yury ; Zakharyaschev, Michael

    Abstract | Document (952 KB) | BibTeX

    A Neuro-Symbolic Approach to Structured Event Recognition
    Authors: Apriceno, Gianluca ; Passerini, Andrea ; Serafini, Luciano

    Abstract | Document (961 KB) | BibTeX

    Model Checking Timed Recursive CTL
    Authors: Bruse, Florian ; Lange, Martin

    Abstract | Document (739 KB) | BibTeX

    Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
    Authors: Cashmore, Michael ; Cimatti, Alessandro ; Magazzeni, Daniele ; Micheli, Andrea ; Zehtabi, Parisa

    Abstract | Document (889 KB) | BibTeX

    Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps
    Authors: Dyreson, Curtis E. ; Ahsan, M. A. Manazir

    Abstract | Document (747 KB) | BibTeX

    Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans
    Authors: Ribeiro, Tomás ; Lima, Oscar ; Cashmore, Michael ; Micheli, Andrea ; Ventura, Rodrigo

    Abstract | Document (1,433 KB) | BibTeX

    A One-Pass Tree-Shaped Tableau for Defeasible LTL
    Authors: Chafik, Anasse ; Cheikh-Alili, Fahima ; Condotta, Jean-François ; Varzinczak, Ivan

    Abstract | Document (757 KB) | BibTeX

    1½-Player Stochastic StopWatch Games
    Authors: Roychowdhury, Sparsa

    Abstract | Document (857 KB) | BibTeX

      




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