Non-Monotonic Logical Reasoning, Ecological Rationality, Ad Hoc Teamwork