Reasoning about knowledge and uncertainty, qualitative reasoning, belief revision, (fault-tolerant) distributed computation, modal logic, game theory, decision theory, and security.
Last updated, August, 2002 - Joe Halpern
