8. TIME 2001: Cividale del Friuli, Italy

Track 1: Temporal Representation and Reasoning in AI

Invited Talk

• Erik Sandewall:
  Cellular Ontology as a Basis for Spatiotemporal Reasoning. 3-4
  

Regular Papers

• Sergio Brandano:
  The Event Calculus Assessed. 7-12
  
• Luca Chittaro, Carlo Combi:
  Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation. 13-20
  
• Lina Khatib, Nicola Muscettola, Klaus Havelund:
  Mapping Temporal Planning Constraints into Timed Automata. 21-27
  
• Alice ter Meulen, Hans Smessaert:
  Temporal reasoning with aspectual adverbs. 28-34
  
• Vladimir Ryabov, Seppo Puuronen:
  Probabilistic Reasoning about Uncertain Relations between Temporal Points. 35-40
  
• Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert:
  Temporal Reasoning: An Application to Normative Systems. 41-47
  

Short Papers

• Silvana Badaloni, Massimiliano Giacomin, Claudio Masolo:
  Qualitative temporal representation and reasoning about points, intervals and durations. 51-56
  
• Edjard Mota:
  Reasoning about the Temporal Aspects of Interacting Agents. 57-62
  
• Francesca Rossi, Alessandro Sperduti, Lina Khatib, Paul H. Morris, Robert A. Morris:
  Learning preferences on temporal constraints: a preliminary report. 63-68
  
• Vladimir Ryabov:
  Estimating Uncertain Relations between Indeterminate Points and Intervals. 69-74
  
• Markus Schaal, Hans-Joachim Lenz:
  Best Time and Content for Delay Notification. 75-80
  
• André Trudel:
  Representing temporal interval relationships in a first order logic for time. 81-86
  

Track 2: Time Management in Databases

Invited Talk

• Manolis Koubarakis:
  Spatiotemporal databases: Recent Achievements and Opportunities for Future Research. 89
  
• Peter Z. Revesz: Constraint Databases and Temporal Reasoning.

Regular Papers

• Ivan T. Bowman, David Toman:
  Optimizing Temporal Queries: Efficient Handling of Duplicates. 93-100
  
• Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton:
  A Query Calculus for Spatio-Temporal Object Databases. 101-110
  
• Yingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia:
  Discovering Calendar-based Temporal Association Rules. 111-118
  
• Barbara Oliboni, Elisa Quintarelli, Letizia Tanca:
  Temporal aspects of semistructured data. 119-127
  
• David Toman:
  Expiration of Historical Databases. 128-135
  
• Jef Wijsen, Alexis Bès:
  Temporal Tableau Queries. 136-143
  

Short Papers

• Elisa Bertino, Elena Ferrari, Giovanna Guerrini, Isabella Merlo:
  Navigating Through Multiple Temporal Granularity Objects. 147-155
  
• Elisa Bertino, Tsz S. Cheng, Shashi K. Gadia, Giovanna Guerrini:
  A Linguistic Framework for Querying Dimensional Data. 156-163
  
• Fabio Grandi, Federica Mandreoli:
  Effective Representation and Efficient Management of Indeterminate Dates. 164-169
  
• Peter Z. Revesz, Rui Chen, Min Ouyang:
  Approximate Query Evaluation Using Linear Constraint Databases. 170-175
  

Track 3: Temporal Logic in Computer Science

Invited Talk

• Pierre Wolper:
  Representing Periodic Temporal Information with Automata. 179
  

Regular Papers

• Patrick Blackburn, Valentin Goranko:
  Hybrid Ockhamist Temporal Logic. 183-188
  
• Benedikt Bollig, Martin Leucker:
  Deciding LTL over Mazurkiewicz Traces. 189-197
  
• Serge Haddad, Denis Poitrenaud:
  Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. 198-205
  
• Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
  Reasoning about agents in the KARO framework. 206-213
  
• George Logothetis, Klaus Schneider:
  Symbolic Model Checking of Real-Time Systems. 214-223
  

Short Papers

• Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
  A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. 227-233
  
• Bernhard Heinemann:
  About the Temporal Decrease of Sets. 234-239
  
• Benedikt Bollig, Martin Leucker:
  Modelling, Specifying, and Verifying Message Passing Systems. 240-247