206
click to vote
TIME
15 years 11 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 ...
204
click to vote
TIME
15 years 11 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...
203
click to vote
TIME
15 years 11 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...
200
click to vote
TIME
15 years 11 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...
|
Automated Reasoning