320 search results - page 13 / 64 » A Modal Logic of Information Change |
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
HIS
2003
15 years 1 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
CHI
2009
ACM
16 years 8 days ago
2009
ACM
When designing interfaces for mobile devices it is important to take into account the variety of contexts of use. We present a study that examines how changing noise and disturban...
104
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
Typically data acquired through imaging techniques such as functional magnetic resonance imaging (fMRI), structural MRI (sMRI), and electroencephalography (EEG) are analyzed separ...