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 à Montréal, Canada, 16-18 June 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3181-6

Keynotes

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

Panel

James Worrell:
Real-Time Model Checking: Algorithms and Complexity. 19

Computational Complexity and Decidability

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

Spatio-Temporal Data Management

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

Temporal Reasoning on Tree-like Structures

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

Query Processing and Data Mining

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

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
Davide Bresolin, Angelo Montanari, Pietro Sala:
An optimal tableau for Right Propositional Neighborhood Logic over Trees. 110-117
Luca Viganò, Marco Volpe:
Labeled Natural Deduction Systems for a Family of Tense Logics. 118-126

Planning

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

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
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical First-Order Temporal Reasoning. 156-163
Sergey Tverdyshev, Eyad Alkassar:
Efficient Bit-Level Model Reductions for Automated Hardware Verification. 164-172

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