955 search results - page 42 / 191 » Tractable Temporal Reasoning |
DLOG
2006
13 years 10 months ago
2006
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
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 ...