114 search results - page 12 / 23 » Skeptical Rational Extensions |
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
ISCAS
2002
IEEE
14 years 9 days ago
2002
IEEE
The concept of biorthogonal partners has been introduced recently by the authors. The work presented in this paper is an extension of some of these results to the case where the u...
DLT
2006
13 years 8 months ago
2006
Let be an alphabet of size t, let f : be a non-erasing morphism, let w be an infinite fixed point of f, and let E(w) be the critical exponent of w. We prove that if E(w) is fi...
ISIPTA
1999
IEEE
13 years 11 months ago
1999
IEEE
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...