default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th TIME 2022 [virtual]
- Alexander Artikis
, Roberto Posenato, Stefano Tonetta:
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference. LIPIcs 247, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-262-4 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:14
- Moshe Y. Vardi:
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). 1:1-1:1 - Silvia Miksch:
Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk). 2:1-2:1 - Stijn Vansummeren:
Getting to the CORE of Complex Event Recognition (Invited Talk). 3:1-3:2 - Isaac Mackey, Raghubir Chimni, Jianwen Su:
Early Detection of Temporal Constraint Violations. 4:1-4:16 - Florian Bruse, Martin Lange, Étienne Lozes:
The Tail-Recursive Fragment of Timed Recursive CTL. 5:1-5:16 - Victor Roussanaly, Yliès Falcone:
Decentralised Runtime Verification of Timed Regular Expressions. 6:1-6:18 - Thomas Guyet, Nicolas Markey:
Logical Forms of Chronicles. 7:1-7:15 - Ashwin Bhaskar, M. Praveen:
Realizability Problem for Constraint LTL. 8:1-8:19 - Nicolas Peltier:
Reasoning on Dynamic Transformations of Symbolic Heaps. 9:1-9:20 - Dimitar P. Guelev:
Gabbay Separation for the Duration Calculus. 10:1-10:14 - Laura Bozzelli, Adriano Peron:
A Quantitative Extension of Interval Temporal Logic over Infinite Words. 11:1-11:16 - Gianluca Apriceno, Andrea Passerini, Luciano Serafini:
A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision. 12:1-12:19 - Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan:
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. 13:1-13:15 - Massimo Benerecetti, Fabio Mogavero, Adriano Peron:
Taming Strategy Logic: Non-Recurrent Fragments. 14:1-14:16 - Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge:
Giving Instructions in Linear Temporal Logic. 15:1-15:14
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-03 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
