Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th 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
- 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-126
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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
