Skip to content

International Symposium on Temporal Representation and Reasoning

TIME

C

CORE rank

CORE rank (raw)

C

Fields of research

Artificial Intelligence

Papers indexed

711

1994–2025

Papers per year

199435 peak2025

TIME papers

711 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2007On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.David Toman
2007A Symbolic Decision Procedure for Robust Safety of Timed Systems.Mani Swaminathan, Martin Frnzle
2007Towards a Science of Temporal Databases.Richard T. Snodgrass
2007Model Checking Branching Time Logics.Philippe Schnoebelen
2007Reasoning with 'And Then' and 'While'.Suman Roy, Guido Sciavicco
2007Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora.Marcel Puchol-Blasco, Estela Saquete, Patricio Martnez-Barco
2007A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English.Jordi Poveda, Mihai Surdeanu, Jordi Turmo
2007Similarity Search in Trajectory Databases.Nikos Pelekis, Ioannis Kopanakis, Gerasimos Marketos, Irene Ntoutsi, Gennady L. Andrienko, Yannis Theodoridis
2007Modularity and Temporal Reasoning: A Logic Programming Approach.Vtor Nogueira, Salvador Abreu
2007Automatic Analysis of Temporal Relations within a Discourse.Petr Nemec
2007Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems.Yuechang Liu, Hong Qian, Yunfei Jiang
2007On the Equivalence of Automaton-Based Representations of Time Granularities.Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2007WCTAnalyze-Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual Resources.Sebastian Gottwald, Gerhard Heyer, Matthias Richter, Peter Walde
2007Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics.Alfonso Gerevini
2007Extended Time Constraints for Sequence Mining.Cline Fiot, Anne Laurent, Maguelonne Teisseire
2007Temporal Relations of Intervals with a Gap.Max J. Egenhofer
2007The Effects of Bounding Syntactic Resources on Presburger LTL.Stphane Demri, Rgis Gascon
2007Conceptual Modeling of Temporal Clinical Workflows.Carlo Combi, Matteo Gozzi, Jos M. Jurez, Barbara Oliboni, Giuseppe Pozzi
2007Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis.Yuchang Cheng, Masayuki Asahara, Yuji Matsumoto
2007Automated Natural Deduction for Propositional Linear-Time Temporal Logic.Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
2007SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language.Nicole Bidoit, Matthieu Objois
2007Relational Temporal Machines.Nicole Bidoit, Franois Hantry
2007Bi-Intervals for Backtracking on Temporal Constraint Networks.Jean-Franois Baget, Sbastien Laborie
2007Temporalising Tractable Description Logics.Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2006Efficient Heuristics for Solving Probabilistic Interval Algebra Networks.Kai Zhang, Andr Trudel
376400 of 711← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.