16. TIME 2009: Bressanone-Brixen, Italy

Carsten Lutz, Jean-François Raskin (Eds.): 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

Last update Fri May 25 08:43:11 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page