Author:Torsten Schaub

Keyphrases

Answer Set Programming³, automated guided vehicle routing, Benchmarking, car assembly operations, dynamic applications, Linear Temporal Logic, logic of here-and-there, Temporal Answer Set Programming, visualization.