- Conference on Theoretical Aspects of Reasoning about Knowledge (2)
- Almaden Research Center (IBM Research) (1)
- American Association for Artificial Intelligence (1)
- Association for Computing Machinery (1)
- Halpern, Joseph Y., 1953- (1)
- International Business Machines Corporation (1)
- United States. Office of Naval Research (1)
- Vardi, Moshe (1)