TIME 2023 September 25-26, 2023, NCSR Demokritos, Athens, Greece

30th International Symposium on Temporal Representation and Reasoning (TIME 2023)



Alexander Artikis and Florian Bruse and Luke Hunsberger (Eds.)
ISBN 978-3-95977-298-3, LIPICS Vol. 278 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 6 MB)
Search Publication Server

Authors
  • Acampora, Renato
  • Akasiadis, Charilaos
  • Amico, Beatrice
  • Artale, Alessandro
  • Artikis, Alexander
  • Baudin, Alexis
  • Beddar-Wiesing, Silvia
  • Bregoli, Alessandro
  • Bruse, Florian
  • Combi, Carlo
  • Conradie, Willem
  • Dyreson, Curtis E.
  • Geatti, Luca
  • Gianola, Alessandro
  • Giatrakos, Nikos
  • Gigante, Nicola
  • Ho, Hsi-Ming
  • Hunsberger, Luke
  • Jéron, Thierry
  • Kamberi, Petro-Foti
  • Kastaun, Marit
  • Katzouris, Nikos
  • Kladis, Evgenios
  • Kshemkalyani, Ajay D.
  • Lange, Martin
  • Madnani, Khushraj
  • Magnien, Clémence
  • Mantenoglou, Periklis
  • Mazzullo, Andrea
  • Misra, Anshuman
  • Mogensen, Søren Wengel
  • Monego, Riccardo
  • Montanari, Angelo
  • Muñoz-Velasco, Emilio
  • Möller, Sören
  • Nenzi, Laura
  • Paliouras, Georgios
  • Pinisetty, Srinivas
  • Posenato, Roberto
  • Rathsman, Karin
  • Rizzi, Romeo
  • Sala, Pietro
  • Salhi, Yakoub
  • Sciavicco, Guido
  • Scutari, Marco
  • Shankar, Saumya
  • Sioutis, Michael
  • Stan, Ionel Eduard
  • Stella, Fabio
  • Sälzer, Marco
  • Tabourier, Lionel
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Artikis, Alexander ; Bruse, Florian ; Hunsberger, Luke

    Abstract | Document (516 KB) | BibTeX

    Learning Temporal Logic Formulas from Time-Series Data (Invited Talk)
    Authors: Nenzi, Laura

    Abstract | Document (412 KB) | BibTeX

    LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa
    Authors: Artale, Alessandro ; Geatti, Luca ; Gigante, Nicola ; Mazzullo, Andrea ; Montanari, Angelo

    Abstract | Document (758 KB) | BibTeX

    LSCPM: Communities in Massive Real-World Link Streams by Clique Percolation Method
    Authors: Baudin, Alexis ; Tabourier, Lionel ; Magnien, Clémence

    Abstract | Document (1,637 KB) | BibTeX

    Discovering Predictive Dependencies on Multi-Temporal Relations
    Authors: Amico, Beatrice ; Combi, Carlo ; Rizzi, Romeo ; Sala, Pietro

    Abstract | Document (934 KB) | BibTeX

    Prime Scenarios in Qualitative Spatial and Temporal Reasoning
    Authors: Salhi, Yakoub ; Sioutis, Michael

    Abstract | Document (974 KB) | BibTeX

    Bounded-Memory Runtime Enforcement of Timed Properties
    Authors: Shankar, Saumya ; Pinisetty, Srinivas ; Jéron, Thierry

    Abstract | Document (985 KB) | BibTeX

    More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words
    Authors: Ho, Hsi-Ming ; Madnani, Khushraj

    Abstract | Document (876 KB) | BibTeX

    Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian Networks
    Authors: Bregoli, Alessandro ; Rathsman, Karin ; Scutari, Marco ; Stella, Fabio ; Mogensen, Søren Wengel

    Abstract | Document (1,757 KB) | BibTeX

    A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic
    Authors: Conradie, Willem ; Monego, Riccardo ; Muñoz-Velasco, Emilio ; Sciavicco, Guido ; Stan, Ionel Eduard

    Abstract | Document (753 KB) | BibTeX

    The Calculus of Temporal Influence
    Authors: Bruse, Florian ; Kastaun, Marit ; Lange, Martin ; Möller, Sören

    Abstract | Document (757 KB) | BibTeX

    Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case
    Authors: Misra, Anshuman ; Kshemkalyani, Ajay D.

    Abstract | Document (781 KB) | BibTeX

    Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks
    Authors: Sioutis, Michael

    Abstract | Document (928 KB) | BibTeX

    Optimization of Nonsequenced Queries Using Log-Segmented Timestamps
    Authors: Dyreson, Curtis E.

    Abstract | Document (732 KB) | BibTeX

    An Event Calculus for Run-Time Reasoning (Extended Abstract)
    Authors: Mantenoglou, Periklis

    Abstract | Document (463 KB) | BibTeX

    SSTRESED: Scalable Semantic Trajectory Extraction for Simple Event Detection over Streaming Movement Data (Extended Abstract)
    Authors: Giatrakos, Nikos

    Abstract | Document (854 KB) | BibTeX

    A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract)
    Authors: Salhi, Yakoub ; Sioutis, Michael

    Abstract | Document (426 KB) | BibTeX

    Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract)
    Authors: Katzouris, Nikos ; Paliouras, Georgios

    Abstract | Document (424 KB) | BibTeX

    A Benchmark for Early Time-Series Classification (Extended Abstract)
    Authors: Kamberi, Petro-Foti ; Kladis, Evgenios ; Akasiadis, Charilaos

    Abstract | Document (447 KB) | BibTeX

    Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract)
    Authors: Sälzer, Marco ; Beddar-Wiesing, Silvia

    Abstract | Document (513 KB) | BibTeX

    Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract)
    Authors: Hunsberger, Luke ; Posenato, Roberto

    Abstract | Document (469 KB) | BibTeX

    Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract)
    Authors: Geatti, Luca ; Gianola, Alessandro ; Gigante, Nicola

    Abstract | Document (432 KB) | BibTeX

    Qualitative past Timeline-Based Games (Extended Abstract)
    Authors: Acampora, Renato ; Geatti, Luca ; Gigante, Nicola ; Montanari, Angelo

    Abstract | Document (494 KB) | BibTeX

    		  



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