Research Catalog

Title

Proceedings : Fourth International Workshop on Temporal Representation and Reasoning : Daytona Beach, Florida, USA : May 10-11, 1997 / sponsored by Florida Artificial Intelligence Research Society (FLAIRS).

Author

International Workshop on Temporal Representation and Reasoning (4th : 1997 : Daytona Beach, Fla.)

Publication

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

Items in the Library & Off-site

Holdings

Details

Additional Authors

Florida Artificial Intelligence Research Society.

Description

viii, 187 pages : illustrations; 28 cm

Alternative Title

• Fourth International Workshop on Temporal Representation and Reasoning
• Temporal Representation and Reasoning

Subject

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

Note

• "IEEE Computer Society Press order number PR07937"--T.p. verso.
• "Time-97"--Half t.p.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Alternative Conceptions of the Time-Line / P. Hayes -- Temporal Resolution: Removing Irrelevant Information / C. Dixon -- Automata Representations for Concurrent METATEM / A. Kellett and M. Fisher -- A Resolution Method For CTL Branching-Time Temporal Logic / A. Bolotov and M. Fisher -- An Efficient Algorithm for Temporal Abduction / V. Brusoni, L. Console and P. Terenziani [et al.] -- Bidirectional Inference in Probabilistic Temporal Reasoning / A. Tawfik and E. Neufeld -- Modal Event Calculi with Preconditions / I. Cervesato, M. Franceschet and A. Montanari -- Visual Query Operators for Temporal Databases / S. Fernandes, U. Schiel and T. Catarci -- On Effective Data Clustering in Bitemporal Databases / J. Kim and M. Kim -- Time in a Multi-Theory Logical Framework / P. Mancarella, A. Raffaeta and F. Turini -- Practical Temporal Reasoning for Real Scheduling Applications / M. Boddy -- Enhancements to the Ground Processing Scheduling System / J. Blanco and L. Khatib --
• Contingent Durations in Temporal CSPs: From Consistency to Controllabilities / T. Vidal and H. Fargier -- A Hierarchy for Convex Relations / F. Schilder -- Qualitative and Quantitative Temporal Constraints about Numerically Quantified Periodic Events / P. Terenziani -- Knowledge-Based Temporal Interpolation / Y. Shahar -- Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases / M. Finger and P. McBrien -- GCH-OSQL: A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic / C. Combi and G. Cucchi -- Temporal Reasoning with Fuzzy Time-Objects / E. Bovenkamp and J. van der Lubbe -- Similarity of Event Sequences / H. Mannila and P. Ronkainen -- BCTL: A Branching Clock Temporal Logic / C. Liu and M. Orgun -- Representing Temporal Relationships between Events and their Effects / J. Ma, B. Knight and T. Peng -- Contextual Logic of Change and Contextual Proofs / P. Matos and J. Martins --
• Temporal Control Structures in Expert Critiquing Systems / S. Ramachandran and D. Wilkins -- A Structured Framework for Representing Time in a Generative Composition System / F. Pereira, C. Grilo and A. Cardoso [et al.] -- Representation of Continuous Change with Discrete Time / F. Barber and S. Moreno -- Entities and Relations for Historical Relational Databases / R. Morris and L. Khatib.

ISBN

0818679379

LCCN

97071303

OCLC

• 37456964
• ocm37456964

Owning Institutions

Columbia University Libraries