28 search results - page 6 / 6 » Temporal Reasoning with Constraints on Fluents and Events |
TIME
2009
IEEE
14 years 17 hour ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
DAGSTUHL
2006
13 years 6 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
RTCSA
2000
IEEE
13 years 9 months ago
2000
IEEE
A number of industrial applications advocate the use of time-triggered approaches for reasons of predictability, distribution, and particular constraints such as jitter or end-to-...