4. TIME 1997: Daytona Beach, Florida, USA

Saturday Session

• Patrick J. Hayes:
  Alternative Conceptions of the Time-Line. 3
  
• Clare Dixon:
  Temporal Resolution: Removing Irrelevant Information. 4-11
  
• Adam Kellett, Michael Fisher:
  Automata Representations for Concurrent METATEM. 12-19
  
• Alexander Bolotov, Michael Fisher:
  A Resolution Method For CTL Branching-Time Temporal Logic. 20-27
  
• Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré:
  An Efficient Algorithm for Temporal Abduction. 28-30
  
• Ahmed Y. Tawfik, Eric Neufeld:
  Bidirectional Inference in Probabilistic Temporal Reasoning. 31-37
  
• Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
  Modal Event Calculi with Preconditions. 38-45
  
• Sônia Fernandes Silva, Ulrich Schiel, Tiziana Catarci:
  Visual Query Operators for Temporal Databases. 46-53
  
• Jong Soo Kim, Myoung-Ho Kim:
  On Effective Data Clustering in Bitemporal Databases. 54-61
  
• Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
  Time in a Multi-Theory Logical Framework. 62-70
  

Sunday Session

• Mark S. Boddy:
  Practical Temporal Reasoning for Real Scheduling Applications. 71
  
• Juan Jose Blanco, Lina Khatib:
  Enhancements to the Ground Processing Scheduling System. 72-77
  
• Thierry Vidal, Hélène Fargier:
  Contingent Durations in Temporal CSPs: From Consistency to Controllabilities. 78-85
  
• Frank Schilder:
  A Hierarchy for Convex Relations. 86-93
  
• Paolo Terenziani:
  Qualitative and Quantitive Temporal Constraints about Numerically Quantified Periodic Events. 94-101
  
• Yuval Shahar:
  Knowledge-Based Temporal Interpolation. 102-111
  
• Marcelo Finger, Peter McBrien:
  Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. 112-118
  
• Carlo Combi, Giancarlo Cucchi:
  GCH-OSQL: A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic. 119-127
  

Poster Session

• Ernst G. P. Bovenkamp, Jan C. A. van der Lubbe:
  Temporal Reasoning with Fuzzy Time-Objects. 128-135
  
• Heikki Mannila, Pirjo Ronkainen:
  Similarity of Event Sequences. 136-139
  
• Chuchang Liu, Mehmet A. Orgun:
  BCTL: A Branching Clock Temporal Logic. 140-147
  
• Jixin Ma, Brian Knight, T. Peng:
  Representing Temporal Relationships between Events and their Effects. 148-152
  
• Pedro A. de Matos, João P. Martins:
  Contextual Logic of Change and Contextual Proofs. 153-159
  
• Surya Ramachandran, David C. Wilkins:
  Temporal Control Structures in Expert Critiquing Systems. 160-167
  
• Francisco C. Pereira, Carlos Grilo, Luís Macedo, Amílcar Cardoso:
  A Structured Framework for Representing Time in a Generative Composition System. 168-174
  
• Fernando Barber, Salvador Moreno:
  Representation of Continuous Change with Discrete Time. 175-179
  
• Robert A. Morris, Lina Khatib:
  Entities and Relations for Historical Relational Databases. 180-186