5. TIME 1998:
Sanibel Island,
Florida,
USA
5th Workshop on Temporal Representation and Reasoning,
TIME '98,
May 16-17,
1998,
Sanibel Island,
Florida,
USA,
Proceedings. IEEE Computer Society,
1998,
ISBN 0-8186-8473-9
Day 1 - Saturday
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
Copyright © Sat May 16 23:43:46 2009
by Michael Ley (ley@uni-trier.de)