Author: Conference on Theoretical Aspects of Reasoning about Knowledge (2nd 1988 Pacific Grove, Calif.)