Reasoning about rational agents - Wooldridge, Michael J., 1966- (Intelligent robotics and autonomous agents, 2000)