![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
29th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.