TIME C

28 papers

YearTitle / Authors
19974th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997
1997A Hierarchy for Convex Relations.
Frank Schilder
1997A Resolution Method For CTL Branching-Time Temporal Logic.
Alexander Bolotov, Michael Fisher
1997A Structured Framework for Representing Time in a Generative Composition System.
Francisco C. Pereira, Carlos Grilo, Luís Macedo, Amílcar Cardoso
1997Alternative Conceptions of the Time-Line.
Patrick J. Hayes
1997An Efficient Algorithm for Temporal Abduction.
Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré
1997Automata Representations for Concurrent METATEM.
Adam Kellett, Michael Fisher
1997BCTL: A Branching Clock Temporal Logic.
Chuchang Liu, Mehmet A. Orgun
1997Bidirectional Inference in Probabilistic Temporal Reasoning.
Ahmed Y. Tawfik, Eric Neufeld
1997Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases.
Marcelo Finger, Peter McBrien
1997Contextual Logic of Change and Contextual Proofs.
Pedro A. de Matos, João P. Martins
1997Contingent Durations in Temporal CSPs: From Consistency to Controllabilities.
Thierry Vidal, Hélène Fargier
1997Enhancements to the Ground Processing Scheduling System.
Juan Jose Blanco, Lina Khatib
1997Entities and Relations for Historical Relational Databases.
Robert A. Morris, Lina Khatib
1997GCH-OSQL: A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic.
Carlo Combi, Giancarlo Cucchi
1997Knowledge-Based Temporal Interpolation.
Yuval Shahar
1997Modal Event Calculi with Preconditions.
Iliano Cervesato, Massimo Franceschet, Angelo Montanari
1997On Effective Data Clustering in Bitemporal Databases.
Jong Soo Kim, Myoung-Ho Kim
1997Practical Temporal Reasoning for Real Scheduling Applications.
Mark S. Boddy
1997Qualitative and Quantitive Temporal Constraints about Numerically Quantified Periodic Events.
Paolo Terenziani
1997Representation of Continuous Change with Discrete Time.
Fernando Barber, Salvador Moreno
1997Representing Temporal Relationships between Events and their Effects.
Jixin Ma, Brian Knight, Taoxin Peng
1997Similarity of Event Sequences.
Heikki Mannila, Pirjo Ronkainen
1997Temporal Control Structures in Expert Critiquing Systems.
Surya Ramachandran, David C. Wilkins
1997Temporal Reasoning with Fuzzy Time-Objects.
Ernst G. P. Bovenkamp, Jan C. A. van der Lubbe
1997Temporal Resolution: Removing Irrelevant Information.
Clare Dixon
1997Time in a Multi-Theory Logical Framework.
Paolo Mancarella, Alessandra Raffaetà, Franco Turini
1997Visual Query Operators for Temporal Databases.
Sônia Fernandes Silva, Ulrich Schiel, Tiziana Catarci