Author:
Publication: Artificial Intelligence
Belief revision and projection in the epistemic situation calculus
Resolving distributed knowledge