Author:
Publication: Artificial Intelligence
The logic of gossiping
Dynamic term-modal logics for first-order epistemic planning