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
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
James Worrell :
Real-Time Model Checking: Algorithms and Complexity.
19
Computational Complexity and Decidability
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Spatio-Temporal Data Management
export record as
dblp key:
export record as
dblp key:
conf/time/KasperovicsBG08
export record as
dblp key:
Temporal Reasoning on Tree-like Structures
export record as
dblp key:
Farid Nouioua :
A Heuristic Approach to Order Events in Narrative Texts.
67-71
export record as
dblp key:
Query Processing and Data Mining
export record as
dblp key:
export record as
dblp key:
conf/time/GordeviciusGB08
export record as
dblp key:
Proof Systems for Temporal Reasoning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Planning
export record as
dblp key:
export record as
dblp key:
Verification of Infinite-State Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key: