Third International Workshop on Temporal Representation and Reasoning
Sunday, May 19th 9:00 Opening addresses 9:30 INVITED TALK I: J. van Benthen Remodeling temporal geometry 10:30 Break 11:00 TEMPORAL CONSTRAINTS R. Dechter, E. Schwalb Processing Temporal Constraint Networks R. Wetprasit, A. Sattar, L. Khatib Reasoning with Sequences of Point Events 12:00 TEMPORAL REASONING AND LOGIC PROGRAMMING C. Dixon Temporal Resolution: A Breadth-First Search Approach E. Lamma, P. Mello, M. Milano Temporal Reasoning in a Meta Constraint Logic Programming Architecture 13:00 Lunch 14:30 TIME IN PROBLEM SOLVING I. Bichindaritz, E. Conlon Case-based reasoning with temporal data G. Brajnik, D.J. Clancy Guiding and refining simulation using temporal logic E.T. Keravnou Engineering time in medical knowledge-based systems through time-axes and time-objects 16:00 PLENARY PRESENTATION OF POSTERS, and POSTER SESSION (see below) 17:00 TEMPORAL DATABASES C. Bettini, X.S. Wang, S. Jajodia A General Framework and Reasoning Model for Time Granularity A. Gal, D. Dori Combining Simultaneous Values and Temporal Data Dependencies M. A. Orgun A recursive temporal algebra and temporal completeness Monday, May 20th 9:00 INVITED TALK II: F. Bacchus Utilizing temporal logics in planning 10:00 POSTER SESSION (see below) 10:30 REASONING ABOUT ACTIONS AND EVENTS A. Mohktari, D. Kayser Time in causal theory L. Vila, E. Schwalb A Theory of Time and Temporal Incidence based on Instants and Periods C.H. Yi Reasoning about Concurrent Actions within Features and Fluents 12:00 Lunch 13:30 TIME GRANULARITY AND ABSTRACTION D. Cukierman, J. Delgrande Characterizing Temporal Repetition E. Mota, D. Robertson Representing Interaction of Agents at Different Time Granularities Y. Shahar Dynamic temporal interpretation contexts for temporal abstraction 15:00 APPLICATIONS M. Li, Y. Sun, H. Sheng Temporal representation for multimedia systems 15:30 POSTER SESSION (see below) 16:00 TEMPORAL LOGICS G. Becher First Order Modal Logics with Generalized Intervals A. Trudel, D. Gagne A topological transition based logic for the qualitative motion of objects 17:00 BELIEF AND UNCERTAINTY IN TEMPORAL KNOWLEDGE A.Y. Tawfik, E. Neufeld Irrelevance in Uncertain Temporal Reasoning 17:30 Closing Remarks POSTER PRESENTATIONS: S. Badaloni, M. Berati Combining heterogeneous temporal information A. Cesta, A. Oddi Gaining Efficiency and Flexibility in the Simple Temporal Problem C. Combi, F. Pinciroli, G. Pozzi Managing Time granularity of narrative clinical information: the Temporal Data model TIME-NESIS A. Fusaoka Nonmonotonic reasoning on a constructive time structure R. Guillen, D. Farwell, J. Wiebe Handling temporal relations in scheduling dialogues for an MT system A. Isli, H. Bennaceur Networks of qualitative interval relations: combining circuit consistency and path consistency in the search for a solution K.P. Jantke and A. Arnold A Modal Temporal Logic and its Models underlying Variants of Planning Algorithms C. Martin, J. Sistac An Integrity Constraint Checking Method for Temporal Deductive Databases M.R. Sanchez and A.M. Shende Time Accountability for Lattice Computers E. Schwalb, L. Vila Non-reified temporal reasoning with temporal constraints