default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th TIME 2009: Bressanone-Brixen, Italy
- Carsten Lutz, Jean-François Raskin:
TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. IEEE Computer Society 2009, ISBN 978-0-7695-3727-6
Invited Talks
- Mark Reynolds
:
Dense Time Reasoning via Mosaics. 3-10 - Serge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu:
The AXML Artifact Model. 11-17
CTL
- Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider:
Model Checking CTL is Almost Always Inherently Sequential. 21-28 - Catalin Dima:
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL. 29-36 - John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat:
On the Expressivity of RoCTL*. 37-44
Temporal Databases
- Carlo Zaniolo:
Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases. 47-53 - Véronique Bruyère, Alexandre Decan, Jef Wijsen:
On First-Order Query Rewriting for Incomplete Database Histories. 54-61 - Daniele Riboni, Linda Pareschi, Claudio Bettini, Sushil Jajodia:
Preserving Anonymity of Recurrent Location-Based Queries. 62-69
Temporal Logic Foundations
- Michel Ludwig, Ullrich Hustadt:
Resolution-Based Model Construction for PLTL. 73-80 - Szabolcs Mikulás, Mark Reynolds, Tim French:
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. 81-87 - Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Undecidability of Interval Temporal Logics with the Overlap Modality. 88-95
Temporal Logic Extensions
- Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu:
Simple Algorithm for Simple Timed Games. 99-106 - Carlo Combi, Sara Degani:
Building Logical Specifications of Temporal Granularities through Algebraic Operators. 107-114 - Roger Villemaire, Sylvain Hallé:
Strong Temporal, Weak Spatial Logic for Rule Based Filters. 115-121
Natural Language and Algebraic Approaches
- Tommaso Caselli, Felice Dell'Orletta, Irina Prodanof:
Temporal Relations with Signals: The Case of Italian Temporal Prepositions. 125-132 - Ivo Düntsch, Michael Winter:
Timed Contact Algebras. 133-138
Interval Algebra
- André Trudel:
Interval Algebra Networks with Infinite Intervals. 141-146 - Silvana Badaloni, Marco Falda:
Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative Algebra. 147-154 - Luke Hunsberger:
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies. 155-162
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 2024-11-06 20:41 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:
