14. TIME 2007: Alicante, Spain
14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain. IEEE Computer Society 2007 ISBN 978-0-7695-2836-6
Invited Talks
- Alfonso Gerevini: Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics. 3-4
- Ph. Schnoebelen: Model Checking Branching Time Logics. 5
- Richard T. Snodgrass: Towards a Science of Temporal Databases. 6-7
Regular Papers
- Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. 11-22
- Nicole Bidoit, Matthieu Objois: SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language. 35-46
- Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: Automated Natural Deduction for Propositional Linear-Time Temporal Logic. 47-58
- Yuchang Cheng, Masayuki Asahara, Yuji Matsumoto: Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis. 59-69
- Carlo Combi, Matteo Gozzi, José M. Juárez, Barbara Oliboni, Giuseppe Pozzi: Conceptual Modeling of Temporal Clinical Workflows. 70-81
- Ugo Dal Lago, Angelo Montanari, Gabriele Puppis: On the Equivalence of Automaton-Based Representations of Time Granularities. 82-93
- Céline Fiot, Anne Laurent, Maguelonne Teisseire: Extended Time Constraints for Sequence Mining. 105-116
- Petr Nemec: Automatic Analysis of Temporal Relations within a Discourse. 117-128
- Nikos Pelekis, Ioannis Kopanakis, Gerasimos Marketos, Irene Ntoutsi, Gennady L. Andrienko, Yannis Theodoridis: Similarity Search in Trajectory Databases. 129-140
- Jordi Poveda, Mihai Surdeanu, Jordi Turmo: A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English. 141-149
- David Toman: On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. 150-162
Short Papers
- Jean-François Baget, Sébastien Laborie: Bi-Intervals for Backtracking on Temporal Constraint Networks. 163-168
- Max J. Egenhofer: Temporal Relations of Intervals with a Gap. 169-174
- Marcel Puchol-Blasco, Estela Saquete, Patricio Martínez-Barco: Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora. 175-180
Poster Papers
- Sebastian Gottwald, Gerhard Heyer, Matthias Richter, Peter Walde: WCTAnalyze--Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual Resources. 189
- Yuechang Liu, Hong Qian, Yunfei Jiang: Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems. 190
- Vítor Nogueira, Salvador Abreu: Modularity and Temporal Reasoning: A Logic Programming Approach. 191
- Mani Swaminathan, Martin Fränzle: A Symbolic Decision Procedure for Robust Safety of Timed Systems. 192
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team