Research Catalog

Title

Proceedings : Third International Workshop on Temporal Representation and Reasoning (TIME '96) : May 19-20, 1996, Key West, Florida / edited by Luca Chittaro [and others] ; sponsored by University of Regina, Canada, University of Udine, Italy, Florida Artificial Intelligence Research Society (FLAIRS).

Author

International Workshop on Temporal Representation and Reasoning (3rd : 1996 : Key West, Fla.)

Publication

Los Alamitos, Calif. : IEEE Computer Society Press, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Chittaro, Luca.
• University of Regina.
• Università di Udine.
• Florida Artificial Intelligence Research Society.

Description

xi, 223 pages : illustrations; 28 cm

Alternative Title

• Third International Workshop on Temporal Representation and Reasoning (TIME '96)
• Temporal representation and reasoning

Subjects

• Artificial intelligence > Congresses
• Reasoning > Congresses
• Temporal databases > Congresses
• Time > Congresses

Note

• "IEEE Computer Society Press order number PR07528"--T.p. verso.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Using Temporal Logics for Planning and Control / F. Bacchus -- Remodeling Temporal Geometry / J. van Benthem -- Reasoning about Concurrent Actions within Features and Fluents / C. Yi -- Time in a Causal Theory / A. Mokhtari and D. Kayser -- A Theory of Time and Temporal Incidence Based on Instants and Periods / L. Vila and E. Schwalb -- Processing Disjunctions of Temporal Constraints / E. Schwalb and R. Dechter -- Reasoning with Sequences of Point Events / R. Wetprasit, A. Sattar and L. Khatib -- Hybrid Temporal Reasoning for Planning and Scheduling / S. Badaloni and M. Berati -- Gaining Efficiency and Flexibility in the Simple Temporal Problem / A. Cesta and A. Oddi -- Logic Programming with Temporal Constraints / E. Schwalb and L. Vila -- Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution / A. Isli and H. Bennaceur -- Dynamic Temporal Interpretation Contexts for Temporal Abstraction / Y. Shahar --
• Representing Interaction of Agents at Different Time Granularities / E. Mota and D. Robertson -- Characterizing Temporal Repetition / D. Cukierman and J. Delgrande -- Managing Time Granularity of Narrative Clinical Information: The Temporal Data Model Time-Nesis / C. Combi, F. Pinciroli and G. Pozzi -- A Recursive Temporal Algebra and Temporal Completeness / M. A. Orgun -- A General Framework and Reasoning Models for Time Granularity / C. Bettini, X. S. Wang and S. Jajodia -- Combining Simultaneous Values and Temporal Data Dependencies / A. Gal and D. Dori -- Temporal Resolution: A Breadth-First Search Approach / C. Dixon -- Temporal Reasoning in a Meta Constraint Logic Programming Architecture / E. Lamma, M. Milano and P. Mello -- An Integrity Constraint Checking Method for Temporal Deductive Databases / C. Martin and J. Sistac -- Guiding and Refining Simulation Using Temporal Logic / G. Brajnik and D. J. Clancy --
• Temporal Knowledge Representation and Organization for Case-Based Reasoning / I. Bichindaritz and E. Conlon -- Engineering Time in Medical Knowledge-Based Systems through Time-Axes and Time-Objects / E. T. Keravnou -- First Order Modal Temporal Logics with Generalized Intervals / G. Becher -- A Topological Transition Based Logic for the Qualitative Motion of Objects / D. Gagne and A. Trudel -- A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms / K. P. Jantke and O. Arnold -- Nonmonotonic Reasoning on a Constructive Time Structure / A. Fusaoka -- Irrelevance in Uncertain Temporal Reasoning / A. Y. Tawfik and E. M. Neufeld -- Temporal Representation for Multimedia Systems / M. Li, Y. Sun and H. Sheng -- Time Accountability for Lattice Computers / M. R. Sanchez and A. M. Shende -- Handling Temporal Relations in Scheduling Dialogues for an MT System / R. Guillen, D. Farwell and J. Wiebe.

ISBN

0818675284 (pbk.)

LCCN

96083327

OCLC

ocm35448791

Owning Institutions

Columbia University Libraries