Provably Bounded-Optimal Agents
Logic and artificial intelligence