Answer Set Programming2, automated guided vehicle routing, Benchmarking, car assembly operations, dynamic applications, visualization.