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