1. TIME 1994:
Pensacola,
Florida,
USA
Scott D. Goodwin,
Howard J. Hamilton (Eds.):
Proceedings of the TIME-94 International Workshop on Temporal Reasoning,
Pensacola,
Florida,
USA,
May 4,
1994. University of Regina,
Regina,
SK,
Canada,
ISBN 0-7731-0278-7
Invited Talk
Presentations
Posters
- Ehric Ho, André Trudel:
The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains.
95-102
Electronic Edition (link) BibTeX
- Luca Chittaro, Angelo Montanari:
Efficient Handling of Context Dependency in the Cached Event Calculus.
103-112
Electronic Edition (link) BibTeX
- Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel:
Belief Revision in a Discrete Temporal Probability-Logic.
113-120
Electronic Edition (link) BibTeX
- Alfred J. Reich:
Intervals, Points, and Branching Time.
121-133
Electronic Edition (link) BibTeX
- David Leasure:
Automated Temporal Explanation with the Modal Logic Z.
134-139 BibTeX
- Fano Ramparany:
Managing Large Temporal Delays in a Model Based Control System.
140-145 BibTeX
- André Trudel:
A Temporal Structure that Distinguishes between the Past, Present, and Future.
146-152
Electronic Edition (link) BibTeX
- Ian Pratt, David S. Brée:
The Expressive Power of the English Temporal Preposition System.
153-160
Electronic Edition (link) BibTeX
- Rasiah Loganantharaj:
Propagating Possibilistic Temporal Constraints.
161-164
Electronic Edition (link) BibTeX
- Niki Pissinou, Kia Makki:
On the Representation of Temporal Object Roles in Object Oriented Databases.
165-172
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:43:46 2009
by Michael Ley (ley@uni-trier.de)
