1283 search results - page 87 / 257 » A Survey on Temporal Logics |
143
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
The complexity of pedestrian spatio-temporal behaviour calls for the combination of several complementary empirical methods in order to comprehensively understand human motion beha...
156
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
258
click to vote
ICTL
1994
15 years 10 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
172
click to vote
LOGCOM
2007
15 years 6 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
220
click to vote
TACS
2001
Springer
15 years 10 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...