TIME
13 years 9 months ago
1994 IEEE 
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
TIME
13 years 9 months ago
1994 IEEE
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
TIME
13 years 9 months ago
1994 IEEE 
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
TIME
13 years 9 months ago
1994 IEEE  TIME
13 years 9 months ago
1994 IEEE
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...
|
Automated Reasoning