Research Catalog

Title

TIME 2001 : Eighth International Symposium on Temporal Representation and Reasoning : proceedings : 14-16 June, 2001, Cividale del Friuli, Italy / sponsored by University of Milan [and others].

Author

International Symposium on Temporal Representation and Reasoning (8th : 2001 : Cividale del Friuli, Italy)

Publication

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

Items in the Library & Off-site

Holdings

Details

Additional Authors

Università di Milano.

Description

xii, 249 pages : illustrations; 28 cm

Alternative Title

• Temporal representation and reasoning
• International Workshop on Temporal Representation and Reasoning

Subject

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

Note

• "IEEE Computer Society Order Number PR01107"--verso of T.p.
• Previous conferences entitled: International Workshop on Temporal Representation and Reasoning.

Bibliography (note)

• Includes bibliographic references and author index.

Contents

• Cellular Ontology as a Basis for Spatiotemporal Reasoning / E. Sandewall -- The Event Calculus Assessed / S. Brandano -- Representation of Temporal Intervals and Relations: Information Visualization Aspects and Their Evaluation / L. Chittaro and C. Combi -- Mapping Temporal Planning Constraints into Timed Automata / L. Khatib, N. Muscettola and K. Havelund -- Temporal Reasoning with Aspectual Adverbs / A. G. B. ter Meulen and H. Smessaert -- Probabilistic Reasoning about Uncertain Relations between Temporal Points / V. Ryabov and S. Puuronen -- Temporal Reasoning: An Application to Normative Systems / T. Stratulat, F. Clerin-Debart and P. Enjalbert -- Qualitative Temporal Representation and Reasoning about Points, Intervals and Durations / S. Badaloni, M. Giacomin and C. Masolo -- Reasoning about the Temporal Aspects of Interacting Agents / E. Mota -- Learning Preferences on Temporal Constraints: A Preliminary Report / F. Rossi, A. Sperduti and L. Khatib / [et al.] --
• Estimating Uncertain Relations between Indeterminate Temporal Points and Intervals / V. Ryabov -- Best Time and Content for Delay Notification / M. Schaal and H.-J. Lenz -- Representing Temporal Interval Relationships in a First Order Logic for Time / A. Trudel -- Spatiotemporal databases: Recent Achievements and Opportunities for Future Research / M. Koubarakis -- Optimizing Temporal Queries: Efficient Handling of Duplicates / I. T. Bowman and D. Toman -- A Query Calculus for Spatio-Temporal Object Databases / T. Griffiths, A. A. A. Fernandes and N. Djafri / [et al.] -- Discovering Calendar-Based Temporal Association Rules / Y. Li, P. Ning and X. S. Wang / [et al.] -- Temporal Aspects of Semistructured Data / B. Oliboni, E. Quintarelli and L. Tanca -- Expiration of Historical Databases / D. Toman -- Temporal Tableau Queries / J. Wijsen and A. Bes -- Navigating through Multiple Temporal Granularity Objects / E. Bertino, E. Ferrari and G. Guerrini / [et al.] --
• A Linguistic Framework for Querying Dimensional Data / E. Bertino, T. S. Cheng and S. Gadia / [et al.] -- Effective Representation and Efficient Management of Indeterminate Dates / F. Grandi and F. Mandreoli -- Approximate Query Evaluation Using Linear Constraint Databases / P. Revesz, R. Chen and M. Ouyang -- Representing Periodic Temporal Information with Automata / P. Wolper -- Hybrid Ockhamist Temporal Logic / P. Blackburn and V. Goranko -- Deciding LTL over Mazurkiewicz Traces / B. Bollig and M. Leucker -- Checking Linear Temporal Formulas on Sequential Recursive Petri Nets / S. Haddad and D. Poitrenaud -- Reasoning about Agents in the KARO Framework / U. Hustadt, C. Dixon and R. A. Schmidt / [et al.] -- Symbolic Model Checking of Real-Time Systems / G. Logothetis and K. Schneider -- A Temporal Logic for Reasoning about Timed Concurrent Constraint Programs / F. S. de Boer, M. Gabbrielli and M. C. Meo -- About the Temporal Decrease of Sets / B. Heinemann --
• Modelling, Specifying, and Verifying Message Passing Systems / B. Bollig and M. Leucker.

ISBN

• 0769511074
• 0769511090 (microfiche)

OCLC

• 223304817
• ocn223304817
• SCSB-4143792

Owning Institutions

Columbia University Libraries