Answer Set Programming, Big Data, large-scale reasoning, legal reasoning, qualitative reasoning, spatial reasoning, trajectory.