859 search results - page 51 / 172 » Abduction in Temporal Reasoning |
TIME
2006
IEEE
14 years 2 months ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...
TIME
2008
IEEE
14 years 3 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
AIIA
2005
Springer
13 years 11 months ago
2005
Springer
We propose a framework for performing extensional and intensional temporal reasoning about qualitative and quantitative “periodicity-dependent” temporal constraints between rep...
CADE
2004
Springer
14 years 9 months ago
2004
Springer
TIME
1994
IEEE
14 years 1 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 ...