Answer Set Programming, declarative problem solving, Knowledge Representation and Reasoning, multi-agent path finding.