Knowledge Representation and Reasoning, Non-Monotonic Logical Reasoning, Ad Hoc Teamwork, Multi-Agent Systems