TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
TIME
1994
IEEE
13 years 8 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
1994
IEEE
13 years 8 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...
TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
: In a dynamic, multi-agent environment, an the intelligent agents act as automated pilots automated intelligent agent is often faced with the for the simulated aircraft. These aut...
TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
TIME
1994
IEEE
13 years 8 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
1994
IEEE
13 years 8 months ago
1994
IEEE
