default search action
5th TIME 1998: Sanibel Island, Florida, USA
- 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998. IEEE Computer Society 1998, ISBN 0-8186-8473-9
Day 1 - Saturday
- James F. Allen:
Temporal Reasoning in Plan Management (Abstract). 2 - Silvia Coradeschi, Thierry Vidal:
Accounting for Temporal Evolutions in Highly Reactive Decision-Making. 3-10 - Yuval Shahar, Cleve Cheng:
Model-Based Visualization of Temporal Abstractions. 11-20 - Maroua Bouzid, Abdel-Illah Mouaddib:
Uncertain Temporal Reasoning for the Distributed Transportation Scheduling Problem. 21-28 - Gérard Becher, Françoise Clérin-Debart, Patrice Enjalbert:
A Model for Time Granularity in Natural Language. 29-36 - Paulo Sérgio Muniz Silva:
Extended Message Sequence Charts with Time-Interval Semantics. 37-44 - Marcelo Finger, Flávio S. Corrêa da Silva:
Temporal Data Obsolescence: Modelling Problems. 45-50 - Leonidas Fegaras, Ramez Elmasri:
A Temporal Object Query Language. 51-57
Day 2 - Sunday
- Bernhard Nebel:
Qualitative Temporal Reasoning: Theory and Practice (Abstract). 60 - Paolo Terenziani:
Generating Instantiations of Contextual Scenarios of Periodic Events. 61-68 - Rattana Wetprasit, Abdul Sattar:
Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). 69-73 - Robert A. Morris, Lina Khatib:
Quantitative Structural Temporal Constraints on Repeating Events. 74-80 - Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
Event Calculus with Explicit Quantifiers. 81-88 - Richard B. Scherl, Glenn Shafer:
A Logic of Action, Causality, and the Temporal Relations of Events. 89-96 - Patrick Doherty, Jonas Kvarnström:
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. 97-104 - Chuchang Liu, Mehmet A. Orgun:
Embedding a Timing System in TLC. 105-112 - Clare Dixon, Michael Fisher:
The Set of Support Strategy in Temporal Resolution. 113-120
Short Presentations and Posters
- Elisa Bertino, Elena Ferrari, Giovanna Guerrini:
An Approach to Model and Query Event-Based Temporal Data. 122-131 - Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm:
Ockhamistic Logics and True Futures of Counterfactual Moments. 132-139 - Diana Cukierman, James P. Delgrande:
Towards a Formal Characterization of Temporal Repetition with Closed Time. 140-147 - Vanathi Gopalakrishnan, Bruce G. Buchanan:
Representing and Learning Temporal Relationships among Experimental Variables. 148-155 - Rasiah Loganantharaj:
Efficient Temporal Propagation Algorithm for Scheduling. 156-161 - Mitsunori Matsushita, Masakatsu Ohta, Toshiyuki Iida:
A Visualization Method of Time Expressions using Starting/Ending Point Plane. 162-168 - Rafael Ramírez:
Time, Communication and Synchronisation in an Agent-Based Programming Language. 169-176 - Dee Jay Randall, Howard J. Hamilton, Robert J. Hilderman:
Generalization for Calendar Attributes using Domain Generalization Graphs. 177-184 - Uta Wille:
Revision and Updating in Dynamic Doxastic Logic. 185-189
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.