3. TIME 1996: Key West, Florida, USA

Luca Chittaro, Scott D. Goodwin, Howard J. Hamilton, Angelo Montanari (Eds.): TIME-96: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, Key West, Florida, USA, May 19-20, 1996, IEEE Computer Society Press, 1996, ISBN 0-8186-7528-4, abstracts: http://computer.org/proceedings/time96/toc.htm

Invited Talks

Choong-Ho Yi: Reasoning about Concurrent Actions within Features and Fluents. 6-13
Aïcha Mokhtari, Daniel Kayser: Time in a Causal Theory. 14-20
Lluís Vila, Eddie Schwalb: A Theory of Time and Temporal Incidence Based on Instants and Periods.

Eddie Schwalb, Rina Dechter: Processing Disjunctions of Temporal Constraints.
Rattana Wetprasit, Abdul Sattar, Lina Khatib: Reasoning with Sequences of Point Events.
Silvana Badaloni, Marina Berati: Hybrid Temporal Reasoning for Planning and Scheduling.
Amedeo Cesta, Angelo Oddi: Gaining Efficiency and Flexibility in the Simple Temporal Problem.
Eddie Schwalb, Lluís Vila: Logic Programming with Temporal Constraints.
Amar Isli, Hachemi Bennaceur: Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution.

Yuval Shahar: Dynamic Temporal Interpretation Contexts for Temporal Abstraction.
Edjard Mota, David Stuart Robertson: Representing Interaction of Agents at Different Time Granularities. 72-79
Diana Cukierman, James P. Delgrande: Characterizing Temporal Repetition.
Carlo Combi, Francesco Pinciroli, Giuseppe Pozzi: Managing Time Granularity of Narrative Clinical Information: The Temporal Data Model TIME-NESIS.

Mehmet A. Orgun: A recursive temporal algebra and temporal completeness. 96-103
Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia: A General Framework and Reasoning Model for Time Granularity. 104-111
Avigdor Gal, Dov Dori: Combining Simultaneous Values and Temporal Data Dependencies. 112-119

Clare Dixon: Temporal Resolution: A Breadth-First Search Approach.
Evelina Lamma, Paola Mello, Michela Milano: Temporal Reasoning in a Meta Constraint Logic Programming Architecture.
Carme Martín, Jaume Sistac: An Integrity Constraint Checking Method for Temporal Deductive Databases.

Giorgio Brajnik, Daniel J. Clancy: Guiding and refining simulation using temporal logic. 144-151
Isabelle Bichindaritz, E. Conlon: Case-based reasoning with temporal data.
Elpida T. Keravnou: Engineering time in medical knowledge-based systems through time-axes and time-objects.

Gérard Becher: First Order Modal Logics with Generalized Intervals.
André Trudel, Denis Gagné: A topological transition based logic for the qualitative motion of objects.
Klaus P. Jantke, Oksana Arnold: A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms.

Minglu Li, Yongqiang Sun, Huanye Sheng: Temporal Representation for Multimedia Systems.
Mario R. Sanchez, Anil M. Shende: Time Accountability for Lattice Computers.
Rocio Guillén, David Farwell, Janyce Wiebe: Handling Temporal Relations in Scheduling Dialogues for an MT System. 217-