Abstract is missing.
- Temporal Description Logics: A SurveyCarsten Lutz, Frank Wolter, Michael Zakharyaschev. 3-14 [doi]
- Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal ApplicationsKothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi. 15-18 [doi]
- Real-Time Model Checking: Algorithms and ComplexityJames Worrell. 19 [doi]
- The Complexity of CaRet + ChopLaura Bozzelli. 23-31 [doi]
- Good Friends are Hard to Find!Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg. 32-40 [doi]
- Regarding Overlapping as a Basic Concept of Subset SpacesBernhard Heinemann. 41-45 [doi]
- Towards a Formal Framework for Spatio-Temporal GranularitiesAlberto Belussi, Carlo Combi, Gabriele Pozzani. 49-53 [doi]
- Representing Public Transport Schedules as Repeating TripsRomans Kasperovics, Michael H. Böhlen, Johann Gamper. 54-58 [doi]
- Moving SpacesIvo Düntsch, Michael Winter. 59-63 [doi]
- A Heuristic Approach to Order Events in Narrative TextsFarid Nouioua. 67-71 [doi]
- Satisfying a Fragment of XQuery by Branching-Time ReductionSylvain Hallé, Roger Villemaire. 72-76 [doi]
- Efficient Similarity Join of Large Sets of Moving Object TrajectoriesHui Ding, Goce Trajcevski, Peter Scheuermann. 79-87 [doi]
- A Greedy Approach Towards Parsimonious Temporal AggregationJuozas Gordevicius, Johann Gamper, Michael H. Böhlen. 88-92 [doi]
- Time Aware Mining of ItemsetsBashar Saleh, Florent Masseglia. 93-97 [doi]
- A Labeled Tableaux Systemfor the Distributed Temporal Logic DTLDavid A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò. 101-109 [doi]
- An optimal tableau for Right Propositional Neighborhood Logic over TreesDavide Bresolin, Angelo Montanari, Pietro Sala. 110-117 [doi]
- Labeled Natural Deduction Systems for a Family of Tense LogicsLuca Viganò, Marco Volpe. 118-126 [doi]
- Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal ProblemsYuechang Liu, Yunfei Jiang, Hong Qian. 129-136 [doi]
- TLP-GP: Solving Temporally-Expressive Planning ProblemsFrederic Maris, Pierre Régnier. 137-144 [doi]
- Decomposition of Decidable First-Order Logics over Integers and RealsFlorent Bouchy, Alain Finkel, Jérôme Leroux. 147-155 [doi]
- Practical First-Order Temporal ReasoningClare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa. 156-163 [doi]
- Efficient Bit-Level Model Reductions for Automated Hardware VerificationSergey Tverdyshev, Eyad Alkassar. 164-172 [doi]