TIME-96 -- Workshop Preliminary Program

Third International Workshop on Temporal Representation and Reasoning

Key West, Florida, USA -- May 19-20, 1996


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


Back to TIME home page