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
- Thomas Dean:
Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract).
3-12
Presentations
Posters
- Ehric Ho, André Trudel:
The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains.
95-102
- Luca Chittaro, Angelo Montanari:
Efficient Handling of Context Dependency in the Cached Event Calculus.
103-112
- Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel:
Belief Revision in a Discrete Temporal Probability-Logic.
113-120
- Alfred J. Reich:
Intervals, Points, and Branching Time.
121-133
- David Leasure:
Automated Temporal Explanation with the Modal Logic Z.
134-139
- Fano Ramparany:
Managing Large Temporal Delays in a Model Based Control System.
140-145
- André Trudel:
A Temporal Structure that Distinguishes between the Past, Present, and Future.
146-152
- Ian E. Pratt, David S. Brée:
The Expressive Power of the English Temporal Preposition System.
153-160
- Rasiah Loganantharaj:
Propagating Possibilistic Temporal Constraints.
161-164
- Niki Pissinou, Kia Makki:
On the Representation of Temporal Object Roles in Object Oriented Databases.
165-172
Last update Fri May 25 08:43:10 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page