4. TIME 1997:
Daytona Beach, Florida, USA
4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997.
IEEE Computer Society 1997, ISBN 0-8186-7937-9
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-68

Sunday Session
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, Taoxin 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

Last update Sat May 25 14:28:07 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page