default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th 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 - Philippe 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, François Hantry:
Relational Temporal Machines. 23-34 - Nicole Bidoit, Matthieu Objois:
SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language. 35-46 - Alexander Bolotov, Oleg M. 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 - Stéphane Demri, Régis Gascon:
The Effects of Bounding Syntactic Resources on Presburger LTL. 94-104 - 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 - Suman Roy, Guido Sciavicco:
Reasoning with 'And Then' and 'While'. 181-188
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-15 00:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
