Searching...
Advanced Search
T
TIME
2008
2008 15th International Symposium on Temporal Representation and Reasoning
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
2008 15th International Symposium on Temporal Representation and Reasoning
June 16-June 18
ISBN: 978-0-7695-3181-6
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-vi
ABSTRACT
PDF
Message from the Chairs
(PDF)
pp. vii
ABSTRACT
PDF
Organizing Committee
(PDF)
pp. viii
ABSTRACT
PDF
Program Committee
(PDF)
pp. ix
ABSTRACT
PDF
External Referees
(PDF)
pp. x
ABSTRACT
PDF
Temporal Description Logics: A Survey
(Abstract)
Carsten Lutz
Frank Wolter
Michael Zakharyaschev
pp. 3-14
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications
(Abstract)
Ravi Kothuri
Robert Hanckel
Aravind Yalamanchi
pp. 15-18
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Real-Time Model Checking: Algorithms and Complexity
(Abstract)
James Worrell
pp. 19
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Complexity of
(Abstract)
Laura Bozzelli
pp. 23-31
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Good Friends are Hard to Find!
(Abstract)
Thomas Brihaye
Mohamed Ghannem
Nicolas Markey
Lionel Rieg
pp. 32-40
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Regarding Overlapping as a Basic Concept of Subset Spaces
(Abstract)
Bernhard Heinemann
pp. 41-45
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Towards a Formal Framework for Spatio-Temporal Granularities
(Abstract)
Alberto Belussi
Carlo Combi
Gabriele Pozzani
pp. 49-53
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Representing Public Transport Schedules as Repeating Trips
(Abstract)
Romans Kasperovics
Michael H. B?ehlen
Johann Gamper
pp. 54-58
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Moving Spaces
(Abstract)
Ivo D?ntsch
Michael Winter
pp. 59-63
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Heuristic Approach to Order Events in Narrative Texts
(Abstract)
Farid Nouioua
pp. 67-71
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Satisfying a Fragment of XQuery by Branching-Time Reduction
(Abstract)
Sylvain Hall?
Roger Villemaire
pp. 72-76
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Efficient Similarity Join of Large Sets of Moving Object Trajectories
(Abstract)
Hui Ding
Goce Trajcevski
Peter Scheuermann
pp. 79-87
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Greedy Approach Towards Parsimonious Temporal Aggregation
(Abstract)
Juozas Gordevicius
Johann Gamper
Michael B?hlen
pp. 88-92
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Time Aware Mining of Itemsets
(Abstract)
Bashar Saleh
Florent Masseglia
pp. 93-97
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Labeled Tableaux System for the Distributed Temporal Logic DTL
(Abstract)
David Basin
Carlos Caleiro
Jaime Ramos
Luca Vigan?
pp. 101-109
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An optimal tableau for Right Propositional Neighborhood Logic over Trees
(Abstract)
Davide Bresolin
Angelo Montanari
Pietro Sala
pp. 110-117
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Labeled Natural Deduction Systems for a Family of Tense Logics
(Abstract)
Luca Vigan?
Marco Volpe
pp. 118-126
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems
(Abstract)
Yuechang Liu
Yunfei Jiang
Hong Qian
pp. 129-136
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
TLP-GP: Solving Temporally-Expressive Planning Problems
(Abstract)
F. Maris
P. R?gnier
pp. 137-144
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Decomposition of Decidable First-Order Logics over Integers and Reals
(Abstract)
Florent Bouchy
Alain Finkel
J?r? Leroux
pp. 147-155
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Practical First-Order Temporal Reasoning
(Abstract)
Clare Dixon
Michael Fisher
Boris Konev
Alexei Lisitsa
pp. 156-163
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Efficient Bit-Level Model Reductions for Automated Hardware Verification
(Abstract)
Sergey Tverdyshev
Eyad Alkassar
pp. 164-172
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Author Index
(PDF)
pp. 173
ABSTRACT
PDF
Publisher's Information
(PDF)
pp. 174
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
