411 search results - page 9 / 83 » Timed Alternating-Time Temporal Logic |
JOLLI
2002
13 years 9 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
DAWAK
2007
Springer
14 years 1 months ago
2007
Springer
Most methods for temporal pattern mining assume that time is represented by points in a straight line starting at some initial instant. In this paper, we consider a new kind of fir...
TIME
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
We investigate the temporal implications of information technology by examining its use in the work practices of physicians and nurses in an emergency department. We conceptualize...
TIME
2003
IEEE
14 years 3 months ago
2003
IEEE
