Author: Conference on Theoretical Aspects of Reasoning about Knowledge (3rd 1990 Pacific Grove, Calif.)