9 search results - page 1 / 2 » Reasoning about knowledge of unawareness revisited |
TARK
2009
Springer
14 years 5 months ago
2009
Springer
CORR
2006
Springer
13 years 11 months ago
2006
Springer
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...
TARK
2007
Springer
14 years 5 months ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
TARK
2007
Springer
14 years 5 months ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...