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