TIME-97
Fourth International Workshop on Temporal Representation and Reasoning
Presentation
- "Temporal Resolution: Removing Irrelevant Information" by Clare Dixon
- "A RESOLUTION METHOD FOR CTL BRANCHING-TIME TEMPORAL LOGIC" by Alexander
Bolotov and Michael Fisher
- "On Effective Data Clustering in Bitemporal Databases" by Jong Soo Kim and
Myoung Ho Kim
- "Contingent durations in temporal CSPs: from consistency to controllabilities" by Thierry Vidal and Helene Fargier
- "GCH-OSQL : A Temporally-Oriented Object-Oriented Query Language based
on a three-valued logic" by Carlo Combi and Giorgio Cucchi
- "Knowledge-based temporal interpolation" by Yuval Shahar
- "Automata Representations for Concurrent MetateM" by Adam Kellett and
Michael Fisher
- "Visual Query Operators for Temp Databases" by Sonia Fernandes, Ulrich
Schiel, and Tiziana Catarci
- "A Hierarchy for Convex Relations" by Frank Schilder
- "Time in a multi-theory logical framework" by Paolo Mancarella, Alessandra
Raffaeta, and Franco Turini
- "Concurrency Control for Perceivedly Instantaneous Transactions in
Valid-Time Databases" by Marcelo Finger and Peter McBrien
- "Bidirectional Inference in Probabilistic Temporal Reasoning" by
Ahmed Y. Tawfik and Eric M. Neufeld
- "Qualitative and Quantitive Temporal Constraints about
Numerically Quantified Periodic Events" by Paolo Terenziani
- "An efficient algorithm for temporal abduction" by Vittorio Brusoni,
Luca Console, Paolo Terenziani, and Daniele Theseider Dupre
- "Enhancements to the Ground Processing Scheduling System" by
Juan Jose Blanco and Lina Khatib
- "Modal Event Calculi with Preconditions" by Iliano Cervesato,
Massimo Franceschet, and Angelo Montanari
Poster
- "Temporal reasoning with fuzzy time-objects" by Ernst G.P. Bovenkamp
and Jan C.A. van der Lubbe
- "Similarity of event sequences" by Heikki Mannila and Pirjo Ronkainen
- "BCTL: A Branching Clock Temporal Logic" by Chuchang LIU and Mehmet Orgun
- "Representing temporal relationships between events and their effects"
by Jixin Ma, B. Knight, and Taoxin Peng
- "Contextual logic of change and contextual proofs" by Pedro A. Matos
and Joa~o P. Martins
- "Temporal Control Structures in Expert Critiquing Systems" by
Surya Ramachandran and David C. Wilkins
- "A Structured Framework for Representing Time in a Generative Composing
System" by Francisco Pereira, Carlos Grilo, Amilcar Cardoso, and Luis Macedo
- "Representation of Continuous Change with Discrete Time" by Fernando Barber
Miralles and Salvador Moreno Picot
- "Entities and relations for historical databases" by Robert Morris and Lina
Khatib