default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd TIME 2015: Kassel, Germany
- Fabio Grandi, Martin Lange, Alessio Lomuscio:
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9317-1
Invited Presentations
- Carlo Zaniolo:
Historical Queries on Wikipedia: A Usability-Driven Approach. 1 - Giuseppe De Giacomo:
Temporal Reasoning in Bounded Situation Calculus. 2 - Benedikt Bollig:
Towards Formal Verification of Distributed Algorithms. 3
Session 1: Temporal Networks
- Luke Hunsberger, Roberto Posenato
, Carlo Combi:
A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. 4-18 - Carlo Comin, Romeo Rizzi:
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking. 19-28
Session 2: Temporal Databases
- Andre Gensler, Thiemo Gruber, Bernhard Sick:
Fast Feature Extraction for Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions. 29-37 - Curtis E. Dyreson, Venkata A. Rani, Amani M. Shatnawi:
Unifying Sequenced and Non-sequenced Semantics. 38-46 - Carlo Combi, Romeo Rizzi, Pietro Sala:
The Price of Evolution in Temporal Databases. 47-58
Session 3: Temporal Logics and Verification I
- Martin Lück, Arne Meier:
LTL Fragments are Hard for Standard Parameterisations. 59-68 - Salih Durhan, Guido Sciavicco:
Generalizing Allen's Theory of Time to Tree-Like Structures. 69-78 - Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco:
Undecidability of Chop. 79-89 - Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. 90-100
Session 4: Temporal Logics and Verification II
- Andreas Krebs, Arne Meier, Martin Mundhenk:
The Model Checking Fingerprints of CTL Operators. 101-110 - Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin:
Semantic Vacuity. 111-120 - Daniel Hausmann, Lutz Schröder:
Global Caching for the Flat Coalgebraic µ-Calculus. 121-130 - Alberto Gatto:
Decidability via Mosaics for Bundled Ockhamist Logic. 131-139
Session 5: Temporal Aspects in A.I.
- Andreas Krebs, Arne Meier, Jonni Virtema:
A Team Based Variant of CTL. 140-149 - Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Reachability Games on Recursive Hybrid Automata. 150-159 - Marta Cialdea Mayer, Andrea Orlandini:
An Executable Semantics of Flexible Plans in Terms of Timed Game Automata. 160-169 - Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino:
On the Counting of Strategies. 170-179
Panel Session
- Alfredo Cuzzocrea:
Temporal Aspects of Big Data Management: State-of-the-Art Analysis and Future Research Directions. 180-185
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-10-22 02:23 CEST 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:
