Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast

[LomuscioMeydenRyan2000] Alessio Lomuscio, Ron van der Meyden and Mark Ryan. Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast. ACM Transactions on Computational Logic (TOCL), 1(2), pages 247-284, ACM Press. 2000.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/00-tocl.ps.gz