188
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...
183
click to vote
TIME
15 years 11 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...
182
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 ...
182
click to vote
TIME
15 years 11 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 ...
|
Automated Reasoning