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 BibTeX
Aïcha Mokhtari, Daniel Kayser: Time in a Causal Theory. 14-20 BibTeX
Lluís Vila, Eddie Schwalb: A Theory of Time and Temporal Incidence Based on Instants and Periods. BibTeX

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

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

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

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

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

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

Akira Fusaoka: Nonmonotonic Reasoning on a Constructive Time Structure. BibTeX
Ahmed Y. Tawfik, Eric Neufeld: Irrelevance in Uncertain Temporal Reasoning. BibTeX

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