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
2000Behavior Discovery as Database Scheme Design.Takao Miura, Isamu Shioya, Kohei Watanabe
2000Querying Multiple Temporal Granularity Data.Isabella Merlo, Elisa Bertino, Elena Ferrari, Shashi K. Gadia, Giovanna Guerrini
2000Towards a Theory of Movie Database Queries.Bart Kuijpers, Jan Paredaens, Dirk Van Gucht
2000A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts.Robert Kosara, Silvia Miksch
2000Extending Topological Nexttime Logic.Bernhard Heinemann
2000Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations.Sofie Haesevoets, Bart Kuijpers
2000Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.Clare Dixon, Michael Fisher
2000A Formalization of Structured Temporal Objects and Repetition.Diana Cukierman, James P. Delgrande
2000Modeling Temporal Aspects of Visual and Textual Objects in Multimedia Databases.Carlo Combi
2000A Calculus of Macro-Events: Progress Report.Iliano Cervesato, Angelo Montanari
2000Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic.Mara-Antonia Crdenas-Viedma, Isabel Navarrete, Roque Marn
2000Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule.Alexander Bolotov, Clare Dixon
2000Free Schedules for Free Agents in Workflow Systems.Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia
2000Estimating Positions and Paths of Moving Objects.Kate Beard, H. Mustafa Palancioglu
2000Reasoning about Generalized Intervals: Horn Representability and Tractability.Philippe Balbiani, Jean-Franois Condotta, Grard Ligozat
2000Representing and Reasoning with Temporal Constraints in Multimedia Presentations.Sibel Adali, Luca Console, Maria Luisa Sapino, Massimo Schenone, Paolo Terenziani
1999Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal Databases.Han-Chieh Wei, Ramez Elmasri
1999A Temporal Relational Algebra Based on Multiple Time-Lines.Mehmet A. Orgun
1999Optimization in Constraint Reasoning about Repeating Events.Robert A. Morris, Lina Khatib
1999A Temporal Object-Oriented Data Model with Multiple Granularities.Isabella Merlo, Elisa Bertino, Elena Ferrari, Giovanna Guerrini
1999Visual Verification of Temporal Properties.Zohar Manna
1999Generating Scenarios for Periodic Events with Binary Constraints.Lina Khatib, Robert A. Morris
1999A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus.Massimo Franceschet, Angelo Montanari
1999TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.Patrick Doherty, Jonas Kvarnstrm
1999A Geometric Framework for Specifying Spatiotemporal Objects.Jan Chomicki, Peter Z. Revesz
576600 of 711← PreviousNext →

Comparable venues

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