15. TIME 2008: Monteéal, Canada

Stéphane Demri, Christian S. Jensen (Eds.): 15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Monteéal, Canada, 16-18 June 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3181-6 BibTeX

Keynotes

Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logics: A Survey. 3-14
Electronic Edition (link) BibTeX
Kothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi:
Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. 15-18
Electronic Edition (link) BibTeX

Panel

James Worrell:
Real-Time Model Checking: Algorithms and Complexity. 19
Electronic Edition (link) BibTeX

Computational Complexity and Decidability

Laura Bozzelli:
The Complexity of CaRet + Chop. 23-31
Electronic Edition (link) BibTeX
Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg:
Good Friends are Hard to Find! 32-40
Electronic Edition (link) BibTeX
Bernhard Heinemann:
Regarding Overlapping as a Basic Concept of Subset Spaces. 41-45
Electronic Edition (link) BibTeX

Spatio-Temporal Data Management

Alberto Belussi, Carlo Combi, Gabriele Pozzani:
Towards a Formal Framework for Spatio-Temporal Granularities. 49-53
Electronic Edition (link) BibTeX
Romans Kasperovics, Michael H. Böhlen, Johann Gamper:
Representing Public Transport Schedules as Repeating Trips. 54-58
Electronic Edition (link) BibTeX
Ivo Düntsch, Michael Winter:
Moving Spaces. 59-63
Electronic Edition (link) BibTeX

Temporal Reasoning on Tree-like Structures

Farid Nouioua:
A Heuristic Approach to Order Events in Narrative Texts. 67-71
Electronic Edition (link) BibTeX
Sylvain Hallé, Roger Villemaire:
Satisfying a Fragment of XQuery by Branching-Time Reduction. 72-76
Electronic Edition (link) BibTeX

Query Processing and Data Mining

Hui Ding, Goce Trajcevski, Peter Scheuermann:
Efficient Similarity Join of Large Sets of Moving Object Trajectories. 79-87
Electronic Edition (link) BibTeX
Juozas Gordevicius, Johann Gamper, Michael H. Böhlen:
A Greedy Approach Towards Parsimonious Temporal Aggregation. 88-92
Electronic Edition (link) BibTeX
Bashar Saleh, Florent Masseglia:
Time Aware Mining of Itemsets. 93-97
Electronic Edition (link) BibTeX

Proof Systems for Temporal Reasoning

David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò:
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. 101-109
Electronic Edition (link) BibTeX
Davide Bresolin, Angelo Montanari, Pietro Sala:
An optimal tableau for Right Propositional Neighborhood Logic over Trees. 110-117
Electronic Edition (link) BibTeX
Luca Viganò, Marco Volpe:
Labeled Natural Deduction Systems for a Family of Tense Logics. 118-126
Electronic Edition (link) BibTeX

Planning

Yuechang Liu, Yunfei Jiang, Hong Qian:
Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems. 129-136
Electronic Edition (link) BibTeX
Frederic Maris, Pierre Régnier:
TLP-GP: Solving Temporally-Expressive Planning Problems. 137-144
Electronic Edition (link) BibTeX

Verification of Infinite-State Systems

Florent Bouchy, Alain Finkel, Jérôme Leroux:
Decomposition of Decidable First-Order Logics over Integers and Reals. 147-155
Electronic Edition (link) BibTeX
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical First-Order Temporal Reasoning. 156-163
Electronic Edition (link) BibTeX
Sergey Tverdyshev, Eyad Alkassar:
Efficient Bit-Level Model Reductions for Automated Hardware Verification. 164-172
Electronic Edition (link) BibTeX