580 search results - page 5 / 116 » Approximation Algorithms for Temporal Reasoning |
115
Voted
CONSTRAINTS
1998
14 years 9 months ago
1998
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
81
Voted
NIPS
2003
14 years 11 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
71
Voted
TIME
2008
IEEE
15 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...
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. TD(
97
Voted
FUIN
2006
14 years 9 months ago
2006
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...