9. TIME 2002: Manchester, UK

Paper Session 1: Temporal Logic in Computer Science

Paper Session 2: Temporal Representation and Reasoning in AI

Poster Session

Invited Talk

Paper Session 3: Time Management in Databases

Paper Session 4: Temporal Representation and Reasoning in AI

Paper Session 5: Temporal Representation and Reasoning in AI

Paper Session 6: Temporal Logic in Computer Science