Stop the war!Остановите войну!
for scientists:
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
a service of 
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 2024-09-05 23:31 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
