Research Catalog

Title

TIME-99 : Sixth International Workshop on Temporal Representation and Reasoning : proceedings : Orlando, Florida, May 1-2, 1999 / editors, Clare Dixon and Michael Fisher ; sponsored by Florida Artificial Intelligence Research Society, Manchester Metropolitan University, UK, University of Regina, Canada.

Author

International Workshop on Temporal Representation and Reasoning (6th : 1999 : Orlando, Fla.)

Publication

Los Alamitos, California : IEEE Computer Society Press, [1999], ©1999.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Dixon, Clare.
• Fisher, Michael A.
• Florida Artificial Intelligence Research Society.
• Manchester Metropolitan University.
• University of Regina.

Description

ix, 106 pages : illustrations; 28 cm

Alternative Title

Temporal representation and reasoning

Subjects

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

Note

• "IEEE Computer Society Order Number PR00173"--verso of T.p.
• "TIME-98"--Half T.p.

Bibliography (note)

• Includes bibliographic references and author index.

Contents

• Introducing Temporal Description Logics / A. Artale and E. Franconi -- Visual Verification of Temporal Properties / Z. Manna -- A System for Reasoning with Nonconvex Intervals / M. Almeida -- Symbolic Representation of User-Defined Time Granularities / C. Bettini and R. De Sibi -- A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data / S. Chakravarty and Y. Shahar -- A Geometric Framework for Specifying Spatiotemporal Objects / J. Chomicki and P. Revesz -- TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner / P. Doherty and J. Kvarnstrom -- A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus / M. Franceschet and A. Montanari -- Generating Scenarios for Periodic Events with Binary Constraints / L. Khatib and R. Morris -- A Temporal Object-Oriented Data Model with Multiple Granularities / I. Merlo, E. Bertino and E. Ferrari / [et al.] --
• Optimization in Constraint Reasoning about Repeating Events / R. Morris and L. Khatib -- Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal Databases / H.-C. Wei and R. Elmasri -- A Temporal Relational Algebra Based on Multiple Time-Lines / M. Orgun.

ISBN

• 0769501737
• 0769501753 (microfiche)

LCCN

99061665

OCLC

• 42888170
• ocm42888170

Owning Institutions

Columbia University Libraries