11. TIME 2004: Tatihou, Basse Normandie, France

@proceedings{DBLP:conf/time/2004,
  title     = {11th International Symposium on Temporal Representation and Reasoning
               (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France},
  booktitle = {TIME},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2155-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Michael H. Böhlen:
  Toward a Unifying View of Point and Interval Temporal Data Model. 3-4
  
• Manolis Koubarakis:
  Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning. 5-6
  
• Ian Pratt-Hartmann:
  Temporal Prepositions and Their Logic. 7-8
  
• Thierry Vidal:
  The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling. 9-10
  

Temporal Representation and Reasoning in AI

Regular Papers

• Lavinia Egidi, Paolo Terenziani:
  A Lattice of Classes of User-Defined Symbolic Periodicities. 13-20
  
• Lavinia Egidi, Paolo Terenziani:
  A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time. 21-27
  
• Diana Cukierman, James P. Delgrande:
  The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition. 28-35
  
• Allel HadjAli, Didier Dubois, Henri Prade:
  A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal Points. 36-43
  
• Hans Jürgen Ohlbach:
  Relations Between Fuzzy Time Intervals. 44-51
  
• Luca Anselma:
  Recursive Representation of Periodicity and Temporal Reasoning. 52-59
  

Short Papers

• Hans Jürgen Ohlbach:
  The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. 60-63
  
• Vladimir Ryabov, André Trudel:
  Probabilistic Temporal Interval Networks. 64-67
  

Time Management in Databases

Regular Papers

• Wan-Jui Lee, Shie-Jue Lee:
  Fuzzy Calendar Algebra and Its Applications to Data Mining. 71-78
  
• Alessandro Artale:
  Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. 79-86
  
• Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire:
  Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns. 87-95
  
• Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wang:
  Mapping Calendar Expressions into Periodical Granularities. 96-102
  

Short Papers

• Yi Chen, Peter Z. Revesz:
  Max-Count Aggregation Estimation for Moving Points. 103-108
  
• Hongwei Zhu, Stuart E. Madnick, Michael Siegel:
  Effective Data Integration in the Presence of Temporal Semantic Conflicts. 109-114
  

Temporal Logic in Computer Science

Regular Papers

• Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke:
  CTL Model Checking for Processing Simple XPath Queries. 117-124
  
• Adrianna Alexander, Wolfgang Reisig:
  Compositional Temporal Logic Based on Partial Order. 125-132
  
• Laura Giordano, Alberto Martelli:
  On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. 133-139
  
• Alexander Bolotov, Artie Basukoski:
  A Clausal Resolution Method for Branching-Time Logic ECTL+. 140-147
  

Short Papers

• Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek:
  Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. 148-151
  
• E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov:
  Model Checking mu-Calculus in Well-Structured Transition Systems. 152-155
  
• Angelo Montanari, Gabriele Puppis:
  Decidability of the Theory of the Totally Unbounded omega-Layered Structure. 156-160