320 search results - page 14 / 64 » A Modal Logic of Information Change |
132
click to vote
AMSTERDAM
2009
14 years 9 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
106
click to vote
CAINE
2003
15 years 1 months ago
2003
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...
ENTCS
2002
14 years 11 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
AAI
2004
14 years 11 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Most interactive tasks engage more than one of the user’s exteroceptive senses and are therefore multimodal. In real-world situations with multitasking and distractions, the key...