Ray Reiter's Knowledge in Action: A Review