5. TIME 1998: Sanibel Island, Florida, USA

Day 1 - Saturday

• James F. Allen:
  Temporal Reasoning in Plan Management (Abstract). 2
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Silvia Coradeschi, Thierry Vidal:
  Accounting for Temporal Evolutions in Highly Reactive Decision-Making. 3-10
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Yuval Shahar, Cleve Cheng:
  Model-Based Visualization of Temporal Abstractions. 11-20
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Maroua Bouzid, Abdel-Illah Mouaddib:
  Uncertain Temporal Reasoning for the Distributed Transportation Scheduling Problem. 21-28
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Gérard Becher, Françoise Clérin-Debart, Patrice Enjalbert:
  A Model for Time Granularity in Natural Language. 29-36
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Paulo S. Muniz Silva:
  Extended Message Sequence Charts with Time-Interval Semantics. 37-44
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Marcelo Finger, Flávio S. Corrêa da Silva:
  Temporal Data Obsolescence: Modelling Problems. 45-50
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Leonidas Fegaras, Ramez Elmasri:
  A Temporal Object Query Language. 51-59
  Electronic Edition (IEEE Computer Society DL) BibTeX

Day 2 - Sunday

• Bernhard Nebel:
  Qualitative Temporal Reasoning: Theory and Practice (Abstract). 60
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Paolo Terenziani:
  Generating Instantiations of Contextual Scenarios of Periodic Events. 61-68
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Rattana Wetprasit, Abdul Sattar:
  Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). 69-73
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Robert A. Morris, Lina Khatib:
  Quantitative Structural Temporal Constraints on Repeating Events. 74-80
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
  Event Calculus with Explicit Quantifiers. 81-88
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Richard B. Scherl, Glenn Shafer:
  A Logic of Action, Causality, and the Temporal Relations of Events. 89-96
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Patrick Doherty, Jonas Kvarnström:
  Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. 97-104
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Chuchang Liu, Mehmet A. Orgun:
  Embedding a Timing System in TLC. 105-112
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Clare Dixon, Michael Fisher:
  The Set of Support Strategy in Temporal Resolution. 113-120
  Electronic Edition (IEEE Computer Society DL) BibTeX

Short Presentations and Posters

• Elisa Bertino, Elena Ferrari, Giovanna Guerrini:
  An Approach to Model and Query Event-Based Temporal Data. 122-131
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm:
  Ockhamistic Logics and True Futures of Counterfactual Moments. 132-139
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Diana Cukierman, James P. Delgrande:
  Towards a Formal Characterization of Temporal Repetition with Closed Time. 140-147
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Vanathi Gopalakrishnan, Bruce G. Buchanan:
  Representing and Learning Temporal Relationships among Experimental Variables. 148-155
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Rasiah Loganantharaj:
  Efficient Temporal Propagation Algorithm for Scheduling. 156-161
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Mitsunori Matsushita, Masakatsu Ohta, Toshiyuki Iida:
  A Visualization Method of Time Expressions using Starting/Ending Point Plane. 162-168
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Rafael Ramirez:
  Time, Communication and Synchronisation in an Agent-Based Programming Language. 169-176
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Dee Jay Randall, Howard J. Hamilton, Robert J. Hilderman:
  Generalization for Calendar Attributes using Domain Generalization Graphs. 177-184
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Uta Wille:
  Revision and Updating in Dynamic Doxastic Logic. 185-189
  Electronic Edition (IEEE Computer Society DL) BibTeX