2473 search results - page 17 / 495 » The Logic of Communication Graphs |
CLIMA
2006
13 years 9 months ago
2006
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
IANDC
2006
13 years 7 months ago
2006
ATAL
2011
Springer
2011
Springer
Agents that speak: modelling communicative plans and information sources in a logic of announcements
12 years 7 months ago
JANCL
2007
13 years 7 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...