TIME 2022 November 7-9, 2022, Virtual Conference

29th International Symposium on Temporal Representation and Reasoning (TIME 2022)



Alexander Artikis and Roberto Posenato and Stefano Tonetta (Eds.)
ISBN 978-3-95977-262-4, LIPICS Vol. 247 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 6 MB)
Search Publication Server

Authors
  • Apriceno, Gianluca
  • Artikis, Alexander
  • Benerecetti, Massimo
  • Bhaskar, Ashwin
  • Bozzelli, Laura
  • Bruse, Florian
  • Chimni, Raghubir
  • Falcone, Yliès
  • Guelev, Dimitar P.
  • Gutierrez, Julian
  • Guyet, Thomas
  • Kraus, Sarit
  • Lange, Martin
  • Lozes, Etienne
  • Mackey, Isaac
  • Markey, Nicolas
  • Miksch, Silvia
  • Mogavero, Fabio
  • Pagliarini, Giovanni
  • Passerini, Andrea
  • Peltier, Nicolas
  • Perelli, Giuseppe
  • Peron, Adriano
  • Posenato, Roberto
  • Praveen, M.
  • Roussanaly, Victor
  • Scaboro, Simone
  • Sciavicco, Guido
  • Serafini, Luciano
  • Serra, Giuseppe
  • Stan, Ionel Eduard
  • Su, Jianwen
  • Tonetta, Stefano
  • Vansummeren, Stijn
  • Vardi, Moshe Y.
  • Wooldridge, Michael
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Artikis, Alexander ; Posenato, Roberto ; Tonetta, Stefano

    Abstract | Document (501 KB) | BibTeX

    Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk)
    Authors: Vardi, Moshe Y.

    Abstract | Document (345 KB) | BibTeX

    Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk)
    Authors: Miksch, Silvia

    Abstract | Document (359 KB) | BibTeX

    Getting to the CORE of Complex Event Recognition (Invited Talk)
    Authors: Vansummeren, Stijn

    Abstract | Document (432 KB) | BibTeX

    Early Detection of Temporal Constraint Violations
    Authors: Mackey, Isaac ; Chimni, Raghubir ; Su, Jianwen

    Abstract | Document (971 KB) | BibTeX

    The Tail-Recursive Fragment of Timed Recursive CTL
    Authors: Bruse, Florian ; Lange, Martin ; Lozes, Etienne

    Abstract | Document (774 KB) | BibTeX

    Decentralised Runtime Verification of Timed Regular Expressions
    Authors: Roussanaly, Victor ; Falcone, Yliès

    Abstract | Document (861 KB) | BibTeX

    Logical Forms of Chronicles
    Authors: Guyet, Thomas ; Markey, Nicolas

    Abstract | Document (753 KB) | BibTeX

    Realizability Problem for Constraint LTL
    Authors: Bhaskar, Ashwin ; Praveen, M.

    Abstract | Document (838 KB) | BibTeX

    Reasoning on Dynamic Transformations of Symbolic Heaps
    Authors: Peltier, Nicolas

    Abstract | Document (825 KB) | BibTeX

    Gabbay Separation for the Duration Calculus
    Authors: Guelev, Dimitar P.

    Abstract | Document (741 KB) | BibTeX

    A Quantitative Extension of Interval Temporal Logic over Infinite Words
    Authors: Bozzelli, Laura ; Peron, Adriano

    Abstract | Document (830 KB) | BibTeX

    A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision
    Authors: Apriceno, Gianluca ; Passerini, Andrea ; Serafini, Luciano

    Abstract | Document (3,118 KB) | BibTeX

    Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification
    Authors: Pagliarini, Giovanni ; Scaboro, Simone ; Serra, Giuseppe ; Sciavicco, Guido ; Stan, Ionel Eduard

    Abstract | Document (711 KB) | BibTeX

    Taming Strategy Logic: Non-Recurrent Fragments
    Authors: Benerecetti, Massimo ; Mogavero, Fabio ; Peron, Adriano

    Abstract | Document (795 KB) | BibTeX

    Giving Instructions in Linear Temporal Logic
    Authors: Gutierrez, Julian ; Kraus, Sarit ; Perelli, Giuseppe ; Wooldridge, Michael

    Abstract | Document (786 KB) | BibTeX

    		  



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